---

Rep del TDA Conjunto

Invariante de la representación

Un objeto válido rep del TDA Conjunto debe cumplir

• rep.v.size()>=rep.nelementos
• rep.nelementos>= 0
• rep.v[i]<rep.v[j] para todo i,j tal que \c 0<=i<j<rep.nelementos

Función de abstracción

Un objeto válido rep del TDA Vector_Disperso representa al vector

{ rep.v[0],...,rep.v[rep.nelementos]}

---