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 , the convention is that the intersection equals .
New to topics? Read the docs here!