SUPERSET
POSTERIOR
1
Cardianlity of Cartesian Division
NAMES
A1, ..., An
1
THEORY TYPE
Technical
PRIOR
SUBSET