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