English Noun totally ordered set (plural totally ordered sets) (set theory) A set having a specified total order.