Definición 2.20.