Dadas dos soluciones y , "u" es llamada una extensión de "v" si , y