SUPERSET
POSTERIOR
1
Piecewise Constant Function
NAMES
if
1
THEORY TYPE
Technical
PRIOR
SUBSET