Definición 3.6.