Definición 2.16.