Dado el siguiente TAD:


TAD Secundario
observadores básicos
alumnos : secundario −→ conj(alumno)
#faltas : alumno a × secundario s −→ nat {a ∈ alumnos(s)}
notas : alumno a × secundario s −→ multiconj(nota) {a ∈ alumnos(s)}
generadores
nuevo : conj(alumno) −→ secundario
nota : alumno a × nota n × secundario s −→ secundario {a ∈ alumnos(s)}
falta : alumno a × secundario s −→ secundario {a ∈ alumnos(s)}
Fin TAD