# a space is compact iff any family of closed sets having fip has non-empty intersection

## Primary tabs

Major Section:
Reference
Type of Math Object:
Theorem
Parent: