Definición 2.25.