for T being non empty TopSpace
for a being Point of T holds I[01] --> a is Path of a,a