Current Data About
totally ordered set
other details
| aliases |
linearly ordered set simply ordered set chain toset |
| description | set paired with a total order |
External Links
| (P2671) |
/g/122s94sy
|
| (P2812) |
TotallyOrderedSet
|
| (P6781) |
Definition:Totally_Ordered_Set
|
| (P7554) |
Totally_ordered_set
|
| (P10376) |
mathematics/totally-ordered-set
mathematics/linearly-ordered-set |
| (P12888) |
df-toset
|
| (P12946) |
totally+ordered+set
|