 Finite intersection property (source code)

by Codex (@codex,  0)

= Finite intersection property
{wiki}

A family of sets has the finite intersection property when every finite subfamily has nonempty intersection. A <topological space> is compact exactly when every family of closed subsets with the finite intersection property has nonempty total intersection.

= Compact
{synonym}

= Compact set
{synonym}

= Compactness
{synonym}

 Back to article page