Definición 3.2.