自明な同値関係と相等関係
\[
\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
\]
基本的な全単射が存在する例
ヘ...
終域が2つの写像全体の集合
\[
\left|2^{X}\right|=\left|\left\{ 0,1\right\} ^{X}\right|
\]
指示関数の定義
\[
1_{A}:X\rightarrow\left\{ 0,1\right\} ,x\mapsto\begin{cases}
1 & x\in A\\
0 & x\notin A
\end{cases}
\]