Definición 2.7.