# Hyperspace of compact subsets

Let $(X,\tau)$ be a topological space. The hyperspace of compact subsets is defined by
$2^X = \{A \in \mathrm{CL}(X) \colon A$ is compact $\},$
where $\mathrm{CL}(X)$ denotes the hyperspace of closed subsets.