[[!redirects apartness relation]] [[!redirects apartness space]] [[!redirects inequality space]] [[!redirects tight apartness relation]] < [[nlab:apartness relation]] category: redirected to nlab