T6 separation axiom

GPTKB entity