A [functional_mapping] is a [relationship] that indicates that the input gave the result as determined by the classifying [class_of_functional_mapping].
example
EXAMPLE The mapping of [5, 3] to 2, classified by the minus function is an example of [functional_mapping].