ie A și B două mulțimi. Se notează cu G produsul lor cartezian : G = A × B.
Fie F o submulțime a lui G.
F este o funcție dacă îndeplinește următoarele două condiții:
Pentru orice element x din mulțimea A, există un element y în mulțimea B astfel încât perechea ( x, y ) se află în F.Pentru oricare două perechi ( x1 , y1 ) și ( x1, y2 ) din F avem y1 = y2.
Funcțiile pot fi definite astfel:
Prin tabel : f : { 4, 5, 6 } → { 1, 2 } ; f ( 4 ) = 1, f ( 5 ) = 2, f ( 6 ) = 1Prin formulă : f : R → R ; f ( x ) = 3.x - 1Prin aceste demonstratii relatia f este adevarata!
