Definición 2.2.