SUPERSET
POSTERIOR
NAMES
Approximation
1
THEORY TYPE
Technical
PRIOR
SUBSET
1
Integer Division