Integrated generic resource: Classification and set theory ISO 10303-54:2005(E)
© ISO

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

4 Classification
   4.1 Introduction
   4.2 Fundamental concepts and assumptions
   4.3 Classification type definitions
   4.4 Classification entity definitions
   4.5 Classification subtype constraint definitions
5 Set theory
   5.1 Introduction
   5.2 Fundamental concepts and assumptions
   5.3 Set theory entity definitions
   5.4 Set theory function definitions

A Short names of entities
B Information object registration
C Computer interpretable listings
D EXPRESS-G diagrams
Index

Contents

1 Scope
2 Normative references
3 Terms, definitions and abbreviations
4 Classification
     4.1 Introduction
     4.2 Fundamental concepts and assumptions
     4.3 Classification type definitions
          4.3.1 classification_select
          4.3.2 complete_membership_select
     4.4 Classification entity definitions
          4.4.1 class
          4.4.2 class_by_extension
          4.4.3 class_by_intension
          4.4.4 classification
          4.4.5 complete_membership
          4.4.6 complete_membership_of_empty_set
          4.4.7 complete_membership_of_non_empty_set
     4.5 Classification subtype constraint definitions
          4.5.1 classification_or_complete_membership
5 Set theory
     5.1 Introduction
     5.2 Fundamental concepts and assumptions
     5.3 Set theory entity definitions
          5.3.1 complement
          5.3.2 intersection
          5.3.3 power_set
          5.3.4 proper_subset
          5.3.5 same_membership
          5.3.6 subset
          5.3.7 union
          5.3.8 union_of_all_members
     5.4 Set theory function definitions
          5.4.1 identical_sets
          5.4.2 identical_to_one_of_set_of_sets
A Short names of entities
B Information requirements object registration
   B.1 Document identification
   B.2 Schema identification
C Computer interpretable listings
D EXPRESS-G diagrams
Index

Figures

Figure 1 — Relationship between schemas in ISO 10303-54
Figure D.1 — EXPRESS-G diagram of the classification_schema (1 of 1)
Figure D.2 — EXPRESS-G diagram of the set_theory_schema (1 of 1)

Tables

Table A.1 Short names of entities


© ISO 2005 — All rights reserved