Abstract / scope
ISO/TS 10303-1210:2004 specifies the application module for Set theory.
The following are within the scope of ISO/TS 10303-1210:2004:
- complement;
- intersection;
- power set;
- proper subset;
- same membership (that is equality);
- subset;
- union.