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