A **rule of assignment** is a [[subset]] $r$ of the [[Cartesian Product|cartesian product]] $C \times D$ of two [[Set|sets]], having the property that each [[Element of a Set|element]] of $C$ appears as the first [[coordinates|coordinate]] of at most one ordered pair belonging to $r$.