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