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