discrete topology

GPTKB entity