is the set of equivalence relations on the topological spaces defined by the relation .

Examples:

( a circle ) ( a line ) . ( a torus )