Definición 2.10.