Separation axiom (source code)

= Separation axiom
{wiki=Separation_axiom}