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 N3166 - ISO/TS 10303-1210 Set theory - EXPRESS ARM
Supersedes 
         ISO TC184/SC4/WG12 N2297
*)



SCHEMA Set_theory_arm;


         USE FROM
         Class_arm;
            -- ISO/TS 10303-1070


ENTITY Complement;

           id : STRING;

           name : STRING;

           description : STRING;

           set_1 : Class;

           set_2 : Class;

           universe : Class;

         
         END_ENTITY;


ENTITY Intersection;

           id : STRING;

           name : STRING;

           description : 
         OPTIONAL 
         STRING;

           operand : SET[2:?] OF Class;

           resultant : Class;

         
         END_ENTITY;


ENTITY Power_set;

           id : STRING;

           name : STRING;

           description : 
         OPTIONAL 
         STRING;

           base : Class;

           derived : Class;

         
         END_ENTITY;


ENTITY Proper_subset;

           id : STRING;

           name : STRING;

           description : 
         OPTIONAL 
         STRING;

           subset : Class;

           superset : Class;

         
         END_ENTITY;


ENTITY Same_membership;

           id : STRING;

           name : STRING;

           description : 
         OPTIONAL 
         STRING;

           set_1 : Class;

           set_2 : Class;

         
         END_ENTITY;


ENTITY Subset;

           id : STRING;

           name : STRING;

           description : 
         OPTIONAL 
         STRING;

           subset : Class;

           superset : Class;

         
         END_ENTITY;


ENTITY Union;

           id : STRING;

           name : STRING;

           description : 
         OPTIONAL 
         STRING;

           operand : SET[2:?] OF Class;

           resultant : Class;

         
         END_ENTITY;



         END_SCHEMA;  -- Set_theory_arm