Más concretamente, una isotopía del ambiente consistirá en una familia uniparamétrica continua de homeomorfismos formula_2 del espacio ambiente M, de modo que formula_3 y formula_4.