Definición 3.1.