Vietoris topology

Definition
The Vietoris topology is a topology defined on the set of all non-empty subsets of a topological space based on the topology on the original topological space. The topology is defined by the following basis: