[[!redirects relation]] [[!redirects binary relation]] < [[nlab:relation]] category: redirected to nlab