ISO/TS 10303-1210:2004 Set theory


Application module: Set theory	ISO/TS 10303-1210:2004(E) © ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

4 Information requirements
4.1 Required AM ARM
4.2 ARM entity definitions
5 Module interpreted model
5.1 Mapping specification
5.2 MIM EXPRESS short listing

A MIM short names
B Information object registration
C ARM EXPRESS-G
D MIM EXPRESS-G
E Computer interpretable listings
Bibliography
Index

5.2 MIM EXPRESS short listing

This clause specifies the EXPRESS schema derived from the mapping table. It uses elements from the common resources or from other application modules and defines the EXPRESS constructs that are specific to this part of ISO 10303.

This clause constitutes the Module Interpreted Module (MIM) of the application module.

This clause also specifies the modifications that apply to the constructs imported from the common resources.

The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application modules:

use of a supertype entity does not make applicable any of its specializations, unless the specialization is also imported in the MIM schema;
use of a SELECT type does not make applicable any of its listed types unless the listed type is also imported in the MIM schema.

EXPRESS specification:




         *)

            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); (*

NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:

Class_mim ISO/TS 10303-1070

set_theory_schema ISO 10303-54

NOTE 2 See Annex D, Figures D.1and D.2 for a graphical representation of this schema.




         *)

         END_SCHEMA;  -- Set_theory_mim
(*

Class_mim	ISO/TS 10303-1070
set_theory_schema	ISO 10303-54