In the previous section, we noted that it is occasionally useful to informally identify (conflate) a
relation with its derivative function In this section, we consider another semantically-useful function,
and an associated semantically-convenient conflation.