今度整列可能定理の話とかを書きたいと思ってるので、その準備。 まず、順序集合の定義から。 集合$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…

$\int ちりdx=山。$ // //