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