Definición 2.17.