ยท How to Define External Sets and their Elements