Definición 1.