functional_mapping
A <functional_mapping> is a <relationship> that indicates that the input gave the result
as determined by the classifying <class_of_functional_mapping>.
EXAMPLE The mapping of [5, 3] to 2, classified by the minus function is an example of <functional_mapping>.
EXPRESS specification:
|
| input | : | The input to the mapping. |
| result | : | The result of the application of the function to the input. |
| Name | Type | Referred through | Express-G |
| difference_of_set_of_class | Entity |
|
Diagram 25 |
| intersection_of_set_of_class | Entity |
|
Diagram 25 |
| property_quantification | Entity |
|
Diagram 26 |
| relationship | Entity |
|
Diagram 11 |
| union_of_set_of_class | Entity |
|
Diagram 25 |
|