Multiset Member Relation

From GM-RKB
Jump to: navigation, search

A Multiset Member Relation is a binary multiset relation that is a member-of relation (between multiset members of a multiset).