Overview Schemas Index

set_theory_schema         

ENTITY proper_subset
          SUBTYPE OF (subset);
WHERE
          subset_different: NOT identical_sets(superset, subset);
END_ENTITY; -- proper_subset

Entity data types and their attributes

subset
          id: identifier;
          name: label;
          (OPT) description: text;
          subset: class;
          superset: class;
proper_subset
          -

Users: by entity attributes

subset
proper_subset

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

proper_subset
          -

Global rules for this entity data type

          -