isotopies

not defined yet