Schema: Set_theory_mim



SCHEMA Set_theory_mim;

USE FROM Class_mim;    -- ISO/TS 10303-1070

USE FROM set_theory_schema   -- ISO 10303-54
  (complement,
   intersection,
   power_set,
   proper_subset,
   same_membership,
   subset,
   union);


END_SCHEMA;  -- Set_theory_mim