Definición 3.3.