La especificación es muy parecida a la del TAD conjunto.