Symbols:Abbreviations/T/Toset
< Symbols:Abbreviations | T(Redirected from Definition:Toset)
Jump to navigation
Jump to search
Abbreviation: Toset
Let $\struct {S, \preceq}$ be a relational structure.
Then $\struct {S, \preceq}$ is a totally ordered set if and only if $\preceq$ is a total ordering.
Sources
- 1993: Keith Devlin: The Joy of Sets: Fundamentals of Contemporary Set Theory (2nd ed.) ... (previous) ... (next): $\S 1$: Naive Set Theory: $\S 1.5$: Relations