Formalizaremos lo anterior, empezando con la siguiente definición.