Definición 2.18.