for T being non empty TopSpace
for a, b being Point of T st a,b are_connected holds
for A being Path of a,b holds A = - (- A)