1.2.3. Abstracciones de iteradores.
Ejemplo: Sobre el TDA Conjunto_de_enteros queremos añadir operaciones para calcular la suma, el producto, ...
Operación suma_conj (ent c: conj_enteros; sal entero) Calcula: devuelve la suma de los elementos de c.
Operación producto_conj (ent c: conj_enteros; sal entero) ....
Operación varianza_conj (ent c: conj_enteros; sal real) ....
1.2. Especificaciones informales.