Compact Space , a closed and bounded subset of an Euclidean space.
Compactness Theorem , a set of first-order sentences is satisfiable if every finite subset of it is satisfiable.
Compact Element , those elements of a partially ordered set that cannot be subsumed by a supremum of any directed set that does not already contain them.
