Definición 17.