[[!redirects decidable preordered type]] < [[nlab:preorder]] category: redirected to nlab