SUPERSET
POSTERIOR
1
Switch
NAMES
Set of Natural Numbers
1
THEORY TYPE
Technical
DESCRIPTIONS
PRIOR
SUBSET