[[!redirects preorder]] [[!redirects preordered type]] [[!redirects (0,1)-precategory]] < [[nlab:preorder]] category: redirected to nlab