Aquí formalizaremos esas nociones.