Page history
25 March 2024
1 September 2023
31 August 2023
RhubarbJayde
no edit summary
+940
RhubarbJayde
Created page with "A well-ordered set is a set \(X\) endowed with a relation \(\leq\) on \(X^2\), called a well-order, so that \(\leq\) has the following properties * Transitivity: If \(a \leq b\) and \(b \leq c\) then \(a \leq c\). * Antisymmetry: If \(a \leq b\) and \(b \leq a\), then \(a = b\). * Totality: For all \(a, b\), either \(a \leq b\) or \(b \leq a\). * Well-foundedness: For any \(S \subseteq X\), there is \(s \in S\) so that, for all \(t \in S\), \(s \leq t\). * Reflexivity:..."
+1,831