Definición 2.3.