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