Concetto — Funzione iniettiva.

Atomi collegati

5 atomi collegati.

23 Funzioni, linguaggio e proprietà

27 Metodi unificanti per equazioni e disequazioni

Concept — Injective function.

Linked atoms

5 linked atoms.

Functions: language and properties

Unifying methods for equations and inequalities