[[!redirects set]] [[!redirects sets]] < [[nlab:h-set]] category: redirected to nlab