[[!redirects order]] [[!redirects total order]] [[!redirects linear order]] [[!redirects ordered type]] [[!redirects totally ordered type]] [[!redirects linearly ordered type]] [[!redirects ordered]] [[!redirects totally ordered]] [[!redirects linearly ordered]] < [[nlab:total order]] category: redirected to nlab