Definición 3.5.