Definición 9.