Explain the theoretical difference between the empty set ∅ and the empty string "" within the framework of Zermelo–Fraenkel set theory. Why are these two concepts distinct in type theory, and how does the representation "" differ from a container with no elements?