class_of_functional_mapping

class_of_functional_mapping

A <class_of_functional_mapping> is a <class_of_relationship> that is a many to one mapping. A <class_of_functional_mapping> is a function.
NOTE 1 This entity type would naturally have the name of function, but this is an EXPRESS reserved word.
NOTE 2 The significance of a function being a many to one mapping is that the same answer is always obtained. So, for example, 5 - 3 always gives 2. Note that the minus function on two other arguments can also give 2.
NOTE 3 When there are several arguments to a function, then these are presented in a <multidimensional_object>.
EXAMPLE Minus is an example of <class_of_functional_mapping>.

EXPRESS specification:

ENTITY class_of_functional_mapping

SUBTYPE OF (

class_of_relationship);

codomain

:

class;

domain

:

class;

END_ENTITY;

Attribute definitions:

codomain	:	The result of applying the function to the domain.
domain	:	The set of things to which the function is applied.

References (2):

Name

Type

Referred through

Express-G

class_of_isomorphic_functional_mapping

Entity

Supertype

class_of_relationship

Entity

Subtype

Inheritance graph

ENTITY class_of_functional_mapping;

ENTITY thing;

id

:

STRING;

record_copy_created

:

OPTIONAL representation_of_Gregorian_date_and_UTC_time;

record_created

:

OPTIONAL representation_of_Gregorian_date_and_UTC_time;

record_creator

:

OPTIONAL possible_individual;

record_logically_deleted

:

OPTIONAL representation_of_Gregorian_date_and_UTC_time;

why_deleted

:

OPTIONAL class_of_information_representation;

ENTITY abstract_object;

ENTITY class;

ENTITY class_of_abstract_object;

ENTITY class_of_relationship;

end_1_cardinality

:

OPTIONAL cardinality;

end_2_cardinality

:

OPTIONAL cardinality;

ENTITY class_of_functional_mapping;

codomain

:

class;

domain

:

class;

END_ENTITY;