Redundancy of RTM_UnorderedCollection and RTM_ElementPartCollection should be eliminated
Currently elementCollectionUnordered is an RTM_ElementPartCollection.
Ontologically "isA" is a relation "subClassOf". This means that:
-
the set of RTM_ElementPartCollection should be bigger than elementCollectionUnordered because of some classification criteria.
-
instances of elementCollectionUnordered should have some additional property to the instances RTM_ElementPartCollection.
-
the difference between sets of RTM_ElementPartCollection and elementCollectionUnordered should be bigger than the empty set. Currently, the difference of sets is empty.
RTM_ElementPartCollection minus elementCollectionUnordered equals an empty set.
According to this reasoning elementCollectionUnordered (RTM_UnorderedCollection) is redundant to RTM_ElementPartCollection.