A
regular isotopy
is an
isotopy
that does not use a
type I Reidemeister move
.