Definición C.3.