[[!redirects decidable setoid]] [[!redirects decidable setoids]] < [[nlab:setoid]] category: redirected to nlab