Séparante

[ Definition ]
On dit que la famille d’applications \(f_i\) est séparante si et seulement si pour tout \((x,y)\) il existe \(i\) tel que \(f_i(x) \neq f_i(y)\).
En savoir plus