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