theorem :: WAYBEL_3:41

for X being non empty TopSpace st X is regular & InclPoset the topology of X is continuous holds
X is locally-compact