As such, the composition of two homeomorphisms is again a homeomorphism, and the set of all self-homeomorphisms forms a group, called the homeomorphism group of X, often denoted This group can be given a topology, such as the compact-open topology, which under certain assumptions makes it a topological group.

In some contexts, there are homeomorphic