https://numbas.mathcentre.ac.uk/question/23201/patrick-s-copy-of-basic-set-theory-subsets-and-set-equality/embed/