Definición 2.23.