T2 separation axiom

GPTKB entity