 Countable intersection

The countable intersection of a sequence of sets contains exactly the elements belonging to every set. De Morgan's laws identify its relative complement with the union of their complements.