[[!redirects dense strict order]] < [[nlab:DLO]] category: redirected to nlab