Foro de Preguntas de Parciales

Si en el procedimiento Insertar de la especificación del TAD Diccionario pongo como pre condición que el elemento a insertar no pertenezca al Diccionario estaría mal? Hacer eso me haría mas fácil implementar el procedimiento de borrado. No tendría porque borrar todas las ocurrencias del elemento, lo encuentro lo saco y listo.