Definición C.1.