FreeDuck wrote:I suppose you could define a set as a membership relation if you didn't like the 'collection of objects from some universe' definition. As to your initial question about whether members of a set can confer their properties onto the set, my instinct is to say no, but this assumes that I'm interpreting your question correctly.
The set defines the rule or the properties which members must follow or have. The set, interpreted this way has no properties itself. So in your example of the cows, you would define it as the "the set of all cow such that cow belongs to herd x". I'm not quite sure what you were getting at when you said a set of cows would be a herd. Why can't a set of cows be a herd?
If a set was a collection of objects, and if collections of cows herd together, then we would expect a set of cows to be a herd. Or again, if we say that the members of the set are related then we would expect a relationship between the members of a set. And a herd expresses a relationship between cows.
If the members of a set do not confer their properties on the set then how can a set be said to have a subset? Also, how can the set of even numbers be infinite? A set is not the function for creating even numbers, that is, the properties of its members (the function for creating even numbers) are not conferred on the set. Again, if a set has no members, how can the set be an empty set?