https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%A1%9E 同値類 (抜粋) 不変量 〜 が X 上の同値関係で P(x) が，x 〜 y であるときにはいつでも，P(y) が真ならば P(x) が真であるような，X の元の性質であるとき，性質 P は 〜 の不変量，あるいは関係 〜 のもとで well-defined であるといわれる．
（同英文版） Invariants If 〜 is an equivalence relation on X, and P(x) is a property of elements of X such that whenever x 〜 y, P(x) is true if P(y) is true, then the property P is said to be an invariant of 〜, or well-defined under the relation 〜. (引用終り)
