Definición 5.4.