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


         (*
ISO TC184/SC4/WG12 N3167 - ISO/TS 10303-1210 Set theory - EXPRESS MIM
Supersedes 
         ISO TC184/SC4/WG12 N2298
*)



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



         END_SCHEMA;  -- Set_theory_mim