Navigation

difference_of_set_of_class

A <difference_of_set_of_class> is a <functional_mapping> that indicates that the membership of the result <class> is the difference between the membership of the union of the classes that are members of the <enumerated_set_of_class> and their intersection.
NOTE When the <enumerated_set_of_class> consists of a <class> and another <class> that is a subclass of the first class, then the difference is the complement of the subclass.
EXAMPLE The difference of the <enumerated_set_of_class> {{A,B,C},{B,C,D},{C,D,E}} is {A,B,D,E}.

EXPRESS specification:

ENTITY difference_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 difference function.
result  :  The <class> that is the range of the difference function.

References (1):

Name Type Referred through Express-G
functional_mapping Entity
Subtype
Diagram 15

Inheritance graph

ENTITY difference_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 difference_of_set_of_class;
input  :  enumerated_set_of_class;
result  :  class;
END_ENTITY;