[All sets are written between brackets {...}, all tuples are written between <...> signs]
[Allowed names for sets are 'A', 'B', 'C', 'D', 'E', 'F', 'G', 'H', 'J']
[Own sets are written in format "A = {...}; B= {...}; C = {...}"]
[Use 'union'/'U', 'inters'/'I', 'complem'/'-', 'cartp'/'X' and 'pset'/'P' for the set-theoretic operations]
[Powerset arguments are written within parentheses (e.g. "pset(B)"), binary operations are written in infix notation (e.g. "A union (B inters C)"]