SUPERSET
POSTERIOR
NAMES
Catamorphism
1
THEORY TYPE
Technical
PRIOR
SUBSET
1
Product