Quotient Set

集合 \(X\) 上の同値関係 \(\sim\) と, 集合 \(Y\) への写像 \(f\ \colon\ X \to Y\) があるときに, \(f\) の性質を受け継いだ, 商集合 \(X/{\sim}\) から \(Y\) への写像 \(\tilde{f}\ \colon\ X/{\sim} \to Y\) を考えると良いことがある場合があります。この写像を定義できるかを判定する基準としてwell-definedという概念があります。日本語的には「矛盾なく定義される」とか言います。