SUPERSET
POSTERIOR
NAMES
Crossing
1
PRIOR
1
Indicator Function
SUBSET