Countable intersection (${\bigcap }_{n=1}^{\infty }{A}_n$)

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.