Ist φ: X -> Y surjektiv, so ist

{ (T;y) | T ∈ X/_φ , ∀ x ∈ T xφ = y} = φ^-

eine Bijektion von X/_φ auf Y. insbesondere sind X/_φ und Y gleichmächtig.