Finite intersection (${\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$.