[[!redirects directed-complete poset]] < [[nlab:directed-complete poset]] category: redirected to nlab