This definition corresponds, in a geometrical framework, to Vizgin’s minimal unification problem (
[
385
]
, p. 187).