Su especificación se puede describir de la siguiente manera: