Considere el TAD Diccionario con historia, cuya especificación es la siguiente:
TAD Diccionario con historia(Clave, Significado)
parámetros formales
géneros κ, σ
• = • : κ × κ −→ bool (relación de equivalencia)
igualdad observacional
(∀d, d′ : diccHist(κ, σ))
d =obs d′ ⇐⇒

(∀k : κ)(Definido?(k, d) =obs Definido?(k, d′) ∧L
(Definido?(k, d) ⇒L |
Significado(k, d) =obs Significado(k, d
′) ∧
BorrarSignificado(k, d) =obs BorrarSignificado(k, d
′)))


observadores básicos
Definido? : κ × diccHist −