SUPERSET
POSTERIOR
NAMES
PQT
1
PRIOR
1
The Elements
SUBSET