cofinite topology

GPTKB entity