Definición 2.33.