formalizing abstraction

Dictionnaire