Overview Schemas Index

set_theory_schema         


ENTITY union_of_all_members;
          id : identifier;
          name : label;
          description : OPTIONAL text;
          operand : class;
          resultant : class;
WHERE
          resultant_different: NOT identical_sets(operand, resultant);
END_ENTITY; -- union_of_all_members

Entity data types and their attributes

union_of_all_members
          id: identifier;
          name: label;
          (OPT) description: text;
          operand: class;
          resultant: class;

Users: by entity attributes

union_of_all_members

Users: by defined types, not used by any entity attribute

union_of_all_members
          -

Global rules for this entity data type

          -