SUPERSET
POSTERIOR
1
OR Rule of Counting
NAMES
Joint Counting Operator
1
THEORY TYPE
Technical
PRIOR
SUBSET