Symbols:Abbreviations/T
Jump to navigation
Jump to search
T
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.