Lindelöf space

GPTKB entity