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