# User contributions

Jump to navigation
Jump to search

- 12:11, 15 May 2021 diff hist -3 Equivalence of Definitions of Preordering current
- 12:11, 15 May 2021 diff hist -3 Definition:Preordering/Definition 1 current
- 12:10, 15 May 2021 diff hist -3 Definition:Preordering/Also known as current
- 12:10, 15 May 2021 diff hist -3 Definition:Preordering/Partial vs. Total current
- 12:10, 15 May 2021 diff hist -6 Definition:Preordering/Definition 2 current
- 12:09, 15 May 2021 diff hist -3 m Definition:Preordering/Notation current
- 12:09, 15 May 2021 diff hist -3 m Definition:Preordering/Definition 1
- 12:09, 15 May 2021 diff hist +41 Definition:Preordering current
- 12:09, 15 May 2021 diff hist +56 N Category:Definitions/Preorderings Created page with "{{DefinitionCategory|def = Preordering|Preorder Theory}}" current
- 12:08, 15 May 2021 diff hist -6 Definition:Preordering
- 12:08, 15 May 2021 diff hist +27 Definition:Preordering
- 12:08, 15 May 2021 diff hist +61 N Category:Preorderings Created page with "{{SubjectCategory|Preordering}} Category:Preorder Theory" current
- 12:07, 15 May 2021 diff hist -6 Ordering on Partition Determines Preordering current
- 12:07, 15 May 2021 diff hist -3 m Well-Founded Relation is not necessarily Ordering current
- 12:04, 15 May 2021 diff hist -3 Definition:Ordering/Size current
- 12:03, 15 May 2021 diff hist +35 Definition:Ordering/Partial vs. Total current
- 12:03, 15 May 2021 diff hist -6 Definition:Ordering/Definition 2 current
- 12:03, 15 May 2021 diff hist -3 m Definition:Ordering/Notation current
- 12:02, 15 May 2021 diff hist -6 Definition:Ordering/Definition 1 current
- 12:02, 15 May 2021 diff hist +50 N Category:Definitions/Orderings Created page with "{{DefinitionCategory|def = Ordering|Order Theory}}" current
- 12:01, 15 May 2021 diff hist +32 Definition:Ordering current
- 12:01, 15 May 2021 diff hist +27 Definition:Ordering
- 12:00, 15 May 2021 diff hist +55 N Category:Orderings Created page with "{{SubjectCategory|Ordering}} Category:Order Theory" current
- 12:00, 15 May 2021 diff hist -3 Equivalence of Definitions of Ordering current
- 11:58, 15 May 2021 diff hist +420 Definition:Preordering/Preordered Set current
- 11:55, 15 May 2021 diff hist +12 m Definition:Preordering/Partial vs. Total
- 11:54, 15 May 2021 diff hist 0 m Definition:Preorder Category current
- 11:54, 15 May 2021 diff hist +20 m Definition:Preordering
- 11:30, 15 May 2021 diff hist -172 User:StarTower/Structure Notes/Definition Pages/Heading Two Statistics/Plan of Use/Sourceless Pages current
- 11:29, 15 May 2021
diff hist
**+2,313** N Equivalence of Definitions of Preordering Created page with "== Theorem == {{TFAE|def = Preordering}} === Definition 1 === {{:Definition:Preordering/Definition 1}} === Definition:Preordering/D..." - 11:25, 15 May 2021 diff hist +13 Definition:Antilexicographic Order/Family current
- 11:23, 15 May 2021 diff hist -228 Equivalence of Definitions of Ordering/Proof 1 current
- 11:22, 15 May 2021 diff hist +27 Equivalence of Definitions of Ordering
- 11:20, 15 May 2021 diff hist -9 m Definition:Preordering
- 11:20, 15 May 2021 diff hist +36 Definition:Preordering
- 11:19, 15 May 2021 diff hist +49 Definition:Preordering
- 11:19, 15 May 2021 diff hist +231 Definition:Preordering/Definition 2
- 11:18, 15 May 2021 diff hist +233 Definition:Preordering/Definition 1
- 11:18, 15 May 2021
diff hist
**-915** Definition:Preordering - 11:18, 15 May 2021
diff hist
**+873** N Definition:Preordering/Partial vs. Total Created page with "== Preordering: Partial vs. Total == <onlyinclude> Note that this definition of '''preordering''' does not demand that ''..." - 11:15, 15 May 2021 diff hist +1 m Symmetric Preordering is Equivalence Relation current
- 11:15, 15 May 2021
diff hist
**+839** N Definition:Preordering/Also known as Created page with "== Preordering: Also known as == <onlyinclude> A '''preordering''' is also known as a '''preorder'''. Either name can be..." - 11:14, 15 May 2021 diff hist -9 m Definition:Preordering/Definition 1
- 10:44, 15 May 2021 diff hist +287 Definition:Preordering/Definition 1
- 10:31, 15 May 2021 diff hist +6 m Simple Order Product of Totally Ordered Sets may not be Totally Ordered current
- 10:30, 15 May 2021 diff hist +8 m Definition:Simple Order Product current
- 10:30, 15 May 2021 diff hist +8 m Simple Order Product of Totally Ordered Sets may not be Totally Ordered
- 10:29, 15 May 2021 diff hist +8 m Simple Order Product of Totally Ordered Sets may not be Totally Ordered
- 10:29, 15 May 2021 diff hist +73 N Simple Order Product of Ordered Sets is Ordered Set Prime.mover moved page Simple Order Product of Ordered Sets is Ordered Set to Simple Order Product of Pair of Ordered Sets is Ordered Set current Tag: New redirect
- 10:29, 15 May 2021 diff hist 0 m Simple Order Product of Pair of Ordered Sets is Ordered Set Prime.mover moved page Simple Order Product of Ordered Sets is Ordered Set to Simple Order Product of Pair of Ordered Sets is Ordered Set current