Matthew, thank you very much for your very helpful answer. You give me a lot that I can study. I will start with Lawvere's paper. I was wrong about the elements. The way that Lawvere sets it up seems nice in that an element is an arrow from ("the") singleton to a set, but subsets are not "elements" of sets.