Canonical projection of the equivalence relation