[[!redirects sigma-complete lattice]] < [[nlab:sigma-complete lattice]] category: redirected to nlab