Definición 2.13.