Definition:Finite Intersection Property

From ProofWiki
Jump to navigation Jump to search

Definition

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.


Sources