For each continuous map to a Hausdorff target, equality of its values is reflexive, symmetric and transitive. The relation requires all these equalities simultaneously. Explicitly, gives reflexivity; implies ; and gives . These arguments apply to every map in the defining family, proving is an equivalence relation.
Articles by others on the same topic
There are currently no matching articles.