Compact space

There are several equivalent statements of a compact space X:

1. Every open cover of X has a finite subcover
2. Every family of closed subsets of X with finite intersection properity has a nonempty intersection.
3. Every net in X has a limit point