Well-defined
写像と定義域上の同値関係に対して、次のように数式を用いて記述することもできる。 集合X上の同値関係≡と写像f: X → Yに対して
x ≡ x ならば f(x) = f(x)
が任意のx, x ∈ Xに対して成立するとき、写像fは関係≡に関してwell-definedであると言う。