Krull topology

GPTKB entity