Countable intersection
= Countable intersection
{title2=$\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.