Invariante de la representación
Un objeto válido rep del TDA Diccionario debe cumplir
rep.nelementos>= 0rep.reservados>= rep.nelementosrep.parejas apunta a una zona de memoria con capacidad para albergar rep.reservados objetos de tipo Par<Tk,Ti>rep.parejas[i].primero<rep.parejas[j].primero para todo i,j tal que 0<=i<j<rep.nelementosUn objeto válido rep del TDA Diccionario representa al diccionario
{ ( rep.parejas[0].primero, rep.parejas[0].segundo), ..., ( rep.parejas[rep.nelementos-1].primero, rep.parejas[rep.nelementos-1].segundo)}