Definición 2.22.