Description: Two equivalent ways of describing a compact subset of a topological space. Inspired by Sue E. Goodman'sBeginning Topology. (Contributed by Jeff Hankins, 22-Jun-2009) (Revised by Mario Carneiro, 15-Dec-2013)
Ref | Expression | ||
---|---|---|---|
Hypothesis | cmpsub.1 | |
|
Assertion | cmpsub | |