Dominio e codominio: differenze tra le versioni

È importante notare che il dominio e il codominio devono essere definiti ''prima'' della legge di applicazione, e che ''tutti'' assieme questi oggetti definiscono una funzione. In particolare, senza indicare il dominio e il codominio non può essere definita alcuna funzione.

 

:<math>\text{id}_S\colon S\to S,\quad x\mapsto x.</math>

Omettendo dominio e codominio, la sola legge di applicazione <math>x\mapsto x</math> non è ben definita e non definisce alcuna funzione.