Nicht ganz.  Wenn du alle Paare (x,y) ∈ ℝ^2 betrachtest mit  y^2 = x .
Dann ist das eine Relation (Jede Menge von Paaren ist eine Relation.).
Und die erfüllen falls x≥   die  Gleichung  y=√x  oder  y= -√x  .
Betrachtet man die Paare nur für x≥0 und y≥0 , dann gibt es
ja zu jedemx nur genau ein y,  nämlich   y=√x   und du hast eine
Funktion.