Definition:Finite Intersection Property

From ProofWiki
Jump to navigation Jump to search


Let $\Bbb S$ be a non-empty set of sets.

Let $\Bbb S$ have the property that:

the intersection of any finite number of sets in $\Bbb S$ is not empty.

Then $\Bbb S$ satisfies the finite intersection property.

Also see

  • Results about the finite intersection property can be found here.