ยท
How to Define External Sets and their Elements