for T being non empty TopSpace
for S being non empty open SubSpace of T st T is locally_connected holds
S is locally_connected