[[!redirects partial function]] < [[nlab:partial function]] category: redirected to nlab