Jedem x-Wert der Definitionsmenge wird genau ein y-Wert zugeordnet.
Jedem y-Wert der Wertemenge wird ein x-Wert zugeordnet.
Ein x-Wert kann mehreren y-Werten zugeordnet sein, sofern diese aus der Wertemenge stammen.
Ein y-Wert kann mehreren x-Werten zugeordnet sein, sofern diese aus der Definitionsmenge stammen.
Der Graph einer Funktion muss eine lückenlose Linie sein.