A homotopy from one embedding of a manifold M in N to another such that at every time, it is an embedding. The notion of isotopy is category independent, so notions of topological, piecewise-linear, smooth, isotopy (and so on) exist. When no explicit mention is made, "isotopy" usually means "smooth isotopy."

ambient isotopy | regular isotopy