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

Index

Class_arm
   ARM interface 4.1
Class_mim
   MIM interface 5.2
Complement
   ARM object definition 4.2.1
   ARM EXPRESS-G C.2
   mapping specification 5.1.1
Intersection
   ARM object definition 4.2.2
   ARM EXPRESS-G C.2
   mapping specification 5.1.2
Power_set
   ARM object definition 4.2.3
   ARM EXPRESS-G C.2
   mapping specification 5.1.3
Proper_subset
   ARM object definition 4.2.4
   ARM EXPRESS-G C.2
   mapping specification 5.1.4
Same_membership
   ARM object definition 4.2.5
   ARM EXPRESS-G C.2
   mapping specification 5.1.5
set_theory_schema
   MIM interface 5.2
Subset
   ARM object definition 4.2.6
   ARM EXPRESS-G C.2
   mapping specification 5.1.6
Union
   ARM object definition 4.2.7
   ARM EXPRESS-G C.2
   mapping specification 5.1.7


© ISO 2004 — All rights reserved