[[!redirects decidable subset]] [[!redirects decidable subsets]] < [[nlab:decidable subset]] category: redirected to nlab