Definición 7.