If the relation denoted by R is functional, then typically the object y is a function of the subject x.
our discussion focuses on this possibility, though the analysis is easily extended to the symmetric case.