Definición 2.32.