Solution
= Solution
A space is <compact> if every open cover has a finite subcover. The finite-intersection formulation says that every family of closed sets with the <finite intersection property> has nonempty total intersection.
= Solution
A space is <compact> if every open cover has a finite subcover. The finite-intersection formulation says that every family of closed sets with the <finite intersection property> has nonempty total intersection.