Definición 2.19.