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   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
Bibliography
Index

Contents

1 Scope
2 Normative references
3 Terms, definitions and abbreviations
4 Information requirements
    4.1 Required AM ARM
    4.2 ARM entity definitions
          4.2.1 Complement
          4.2.2 Intersection
          4.2.3 Power_set
          4.2.4 Proper_subset
          4.2.5 Same_membership
          4.2.6 Subset
          4.2.7 Union
5 Module interpreted model
    5.1 Mapping specification
          5.1.1 Complement
          5.1.2 Intersection
          5.1.3 Power_set
          5.1.4 Proper_subset
          5.1.5 Same_membership
          5.1.6 Subset
          5.1.7 Union
    5.2 MIM EXPRESS short listing
Annex A AM MIM short names
Annex B Information object registration
   B.1 Document identification
   B.2 Schema identification
Annex C ARM EXPRESS-G
Annex D MIM EXPRESS-G
Annex E AM ARM and MIM EXPRESS listings
Bibliography
Index

Tables

Table E.1 — ARM and MIM EXPRESS listings

Figures

Figure C.1 — ARM schema level EXPRESS-G diagram 1 of 1
Figure C.2 — ARM entity level EXPRESS-G diagram 1 of 1
Figure D.1 — MIM schema level EXPRESS-G diagram 1 of 1
Figure D.2 — MIM entity level EXPRESS-G diagram 1 of 1


© ISO 2004 — All rights reserved