Definición 2.9.