Isotopy in PL-topology PL-topology mathematics