Size is one-in-a-million
It comes as no surprise to see that the size of a structure such as you and me is one of the numerous properties that structures have. But when I looked at a structure I was fiddling around I saw only one property: the size [of sets]. Nothing wrong with having just one–nice if it got something to say about property.
A map f: A -> B is a B-valued property.
Thank God! Sets are not as impoverished as I began to worry.