Definición 2.8.