SUPERSET
POSTERIOR
1
AND NOT
NAMES
Multiple Multisets
1
THEORY TYPE
Technical
PRIOR
SUBSET