Definición 2.15.