isotopy

not defined yet