partial equivalence relation
よく
PartialEq
として
プログラミング言語
に実装される。
二項関係
の一種
定義
symmetry 対称律
transitivity 推移律
ただし reflexivity 反射律は 保証しない。 reflexive 反射的とは 限らない。
さらに reflexive 反射的なら、
同値関係
に なる。
prop.
Euclid性
始終どちらも
quasi-reflexivity
$ xRy
を介して反射的（
$ xRx
かつ
$ yRy
）
partial function
（
部分関数
）の
congruence
から誘導・導出できる。
具体例
NaN
of
IEEE 754
NaN ≠ NaN
ref.
Partial equivalence relation - Wikipedia
https://ncatlab.org/nlab/show/partial+equivalence+relations
PartialEq in std::cmp - Rust
NaN - Wikipedia