separation axiom avoid rossel’s paradox