up:: Partially Ordered Set A totally ordered set is a Partially Ordered Set with a partial order relation such that any two points can be related to each other. That is, References Um Curso de Álgebra Linear, Flávio Ulhoa Coelho & Mary Lilian Lourenço. Editora EDUSP.