Schema: Cardinality_of_relationship_mim



SCHEMA Cardinality_of_relationship_mim;

USE FROM Maths_space_mim;    -- ISO/TS 10303-1091

USE FROM mathematical_context_schema   -- ISO 10303-51
  (space_context_select,
   maths_space_context);


TYPE relationship_select = EXTENSIBLE SELECT BASED_ON space_context_select;
END_TYPE;

ENTITY cardinality_of_related_class
  SUBTYPE OF (maths_space_context);
  SELF\maths_space_context.physical_space : relationship_select;
END_ENTITY;

ENTITY cardinality_of_relating_class
  SUBTYPE OF (maths_space_context);
  SELF\maths_space_context.physical_space : relationship_select;
END_ENTITY;

END_SCHEMA;  -- Cardinality_of_relationship_mim