SUPERSET
POSTERIOR
1
Trace
NAMES
Determinant Operator
1
PRIOR
SUBSET