[[!redirects decidable set]] [[!redirects decidable sets]] < [[nlab:decidable equality]] category: redirected to nlab