Definición 2.31.