Definición 1.1.