SUPERSET
POSTERIOR
1
Modulus Operator
1
quotient
NAMES
(dividend, divisor)
1
THEORY TYPE
Technical
PRIOR
SUBSET