ISO/TS 10303-1210:2004 specifies the application module for Set theory.
The following are within the scope of ISO/TS 10303-1210:2004: