SUPERSET
POSTERIOR
NAMES
AND NOT
1
Division Rule
1
Division
1
Cardianlity of Cartesian Division
1
THEORY TYPE
Technical
DESCRIPTIONS
PRIOR
1
Logical Operator
1
A1, ..., An
1
Multiple Multisets
SUBSET