 Let us start from  (1)  in the previous section; how should this relationship between sets and their members be defined according to the modal-existential analysis? An obvious proposal would be to say, quite simply: