Definición 2.11.