Noun
(mathematics) A partially ordered set.
(mathematics) A totally ordered set.
(mathematics) A well-ordered set.