:: deftheorem Def6 defines - BORSUK_2:def 6 :
for T being non empty TopSpace
for a, b being Point of T
for P being Path of a,b st a,b are_connected holds
for b₅ being Path of b,a holds
( b₅ = - P iff for t being Point of I[01] holds b₅ . t = P . (1 - t) );