SUPERSET
POSTERIOR
1
m-base Numeral
NAMES
n-base Numeral
1
THEORY TYPE
Technical
PRIOR
SUBSET