ぱいおつ日記

今度整列可能定理の話とかを書きたいと思ってるので、その準備。 まず、順序集合の定義から。 集合$X$と$X$上の二項関係$\leq$が次の$(1),(2),(3)$を満たすとします。 $(1)\forall x\in X, x\leq x$ $(2)\forall x,y\in X,x\leq y\land y\leq x\Rightarrow x=y$ $(3)\forall x,y,z\in X,x\leq y\land y\land z\Rightarrow …