Une application ou fonction est un triplet f = (E, F, G) avec une relation binaire G ⊂ E × F, et qui vérifie que pour tout x de E il existe un unique y de F tel que le couple (x, y) appartienne à G.
Exactement dans ce cas, une application fG donnée comme relation binaire G ⊂ E × F est dite bien définie.
1.
2) Définition.
Une relation R sur un ensemble E est appelée une relation d'équivalence si elle satis- fait aux propriétés suivantes : 1. (réflexivité) ∀x, x ∼R x; 2. (symétrie) ∀x, y ∈ E, x ∼R y implique yRx; 3.
On vérifie les 3 propriétés d'une relation d'équivalence : R R est symétrique : si (x,y)R(x′,y′) ( x , y ) R ( x ′ , y ′ ) , alors il existe a,b>0 a , b > 0 tels que x′=ax x ′ = a x et y′=by y ′ = b y .