Definición 3.4.