Definición 5.3.