union_of_set_of_class

union_of_set_of_class

A <union_of_set_of_class> is a <functional_mapping> that indicates that the membership of the result <class> is the union of the members of the <enumerated_set_of_class> classes.
EXAMPLE The union of the <enumerated_set_of_class> {{A,B,C},{B,C,D},{C,D,E}} is {A,B,C,D,E}.

EXPRESS specification:

ENTITY union_of_set_of_class

SUBTYPE OF (

functional_mapping);

SELF\functional_mapping.input

:

enumerated_set_of_class;

SELF\functional_mapping.result

:

class;

END_ENTITY;

Attribute definitions:

input	:	The <enumerated_set_of_class> that is the domain of the union function.
result	:	The <class> that is the range of the union function.

References (1):

Name

Type

Referred through

Express-G

functional_mapping

Entity

Subtype

Inheritance graph

ENTITY union_of_set_of_class;

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 relationship;

ENTITY functional_mapping;

ENTITY union_of_set_of_class;

input

:

enumerated_set_of_class;

result

:

class;

END_ENTITY;