Relations and functions
A relation imposes restrictions on the values of its variables. For instance, when the
values of all except one variable of a relation are specified, the possible value(s) of the
remaining variable are defined. Note that there can be more than one possible value.
Example 1
