:: deftheorem defines locally_connected CONNSP_2:def 6 :
for X being non empty TopSpace
for A being non empty Subset of X holds
( A is locally_connected iff X | A is locally_connected );