SUPERSET
POSTERIOR
1
Trace
NAMES
Identity Matrix
1
THEORY TYPE
Technical
PRIOR
SUBSET