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.