:: deftheorem defines locally_connected CONNSP_2:def 4 :
for X being non empty TopSpace holds
( X is locally_connected iff for x being Point of X holds X is_locally_connected_in x );