This definition corresponds, in a geometrical framework, to Vizgin’s minimal unification problem ([385Jump To The Next Citation Point], p. 187).