Definición 2.5.