Definición 2.4.