Definición 2.21.