2016-07-30から1日間の記事一覧
\(R\)が\(A\)を整列順序づけすることから\[\forall x,y,z\in A[xRy\wedge yRz\rightarrow xRz]\]\[\forall x,y\in A[x=y,xRy,yRxのうちちょうどひとつが成立する]\]\[\forall Y\subseteq A\exists y\in Y\neg\exists z\in Y[zRy]\]が成り立つ。\(X\subseteq …
\(R\)が\(A\)を整列順序づけすることから\[\forall x,y,z\in A[xRy\wedge yRz\rightarrow xRz]\]\[\forall x,y\in A[x=y,xRy,yRxのうちちょうどひとつが成立する]\]\[\forall Y\subseteq A\exists y\in Y\neg\exists z\in Y[zRy]\]が成り立つ。\(X\subseteq …