Il faut maintenant traiter le cas des pré-isotopies non terminales, qui contiennent donc les cas précédemment traités. Pour chaque isotopie terminale qu'une telle pré-isotopie <<contient>> (au sens de l'inclusion de leurs extensions dans S), on crée une isotopie comportant les taxèmes de ces pré-isotopies terminales.