Bir ilişki için, tanım kümesi $A$ ve değer kümesi $B$ ise, fonksiyon olma şartı aşağıdakilerden hangisidir?
A) Her $x \in A$ için, $y \in B$ olacak şekilde en az bir $y$ değeri olmalıdır.
B) Her $x \in A$ için, $y \in B$ olacak şekilde yalnızca bir $y$ değeri olmalıdır.
C) Her $y \in B$ için, $x \in A$ olacak şekilde yalnızca bir $x$ değeri olmalıdır.
D) Her $y \in B$ için, $x \in A$ olacak şekilde en az bir $x$ değeri olmalıdır.