2つの集合上の二項関係(一意性・全域性)の定義
\[
aRc\land bRc\Rightarrow a=b
\]
カテゴリー: 2項関係
隣接関係の定義
\[
\forall x,y\in X,x\nsim x\land\left(x\sim y\rightarrow y\sim x\right)
\]
自明な同値関係と相等関係
\[
\forall x,y\in X,x\sim y
\]
2項関係の性質
\[
a=b\Rightarrow aRb\land bRa
\]
集合の色々な2項関係(反射律・非反射律・余反射律・対称律・反対称律・非対称律・推移律・完全律・3分律・ユークリッド律・連続律・集合律・整礎律・外延律の定義)の定義
\[
\forall a\in X,a
\]
2項関係の定義
\[
\left(a,b\right)\in R\Leftrightarrow aRb
\]