Definición 2.24.