Definición 2.12.