Definición 2.27.