Add some commands to discrete notes
Use a command for the cartesian product
Add definition and command of complement
Add notes on relations