[[!redirects strict order]] [[!redirects pseudo-order]] [[!redirects strict total order]] [[!redirects strict linear order]] [[!redirects strictly ordered type]] < [[nlab:strict order]] category: redirected to nlab