SUPERSET
POSTERIOR
1
Consecutive Powerset
1
Sum of Partial Permutations Identity
1
Powerset
NAMES
Single real multiset 𝔸
1
THEORY TYPE
Technical
PRIOR
SUBSET