Finite intersection
= Finite intersection
{title2=$\bigcap_{j=1}^m A_j$}
A <finite intersection> is an <intersection> of finitely many <sets>. The indexing <set> is finite, regardless of the size of the intersected <sets>. For an empty indexed family of <subsets> of a specified ambient <set> $X$, the convention is that the <intersection> equals $X$.