In mathematics we deal with 'sets' they are abstract as the objects in them are abstract, they have no tempo-spatial location. How about standard 'collections' we would encounter in real life, if I put three objects next to each other, how does this differ from a 'set'?

For example a singleton 'set' is always considered different from the object inside of it, this suggests they are 'abstract' in nature, but my 'collection' physically exists, is this collection different from a set due to this distinction?

Abstract objects can be described as sets, but could they be defined as a 'collection' in a similar manner, their entire make-up can be defined as a grouping of ideas, but not as a 'set' with the formality of using the idea of a 'set'? I have my doubts on this, as we somewhat have to 'repackage' our ideas to form new ones from others.

  • When you talk mathematics, you talk metaphysics. So, there's essentially no difference: both are ideals. Your shopping list is metaphysical (ideas written in a paper are just a set or a collection of ideas). But your actual shopping bag can be considered a physical object, a whole, a set, not really a collection. See the link.
    – RodolfoAP
    Mar 8, 2023 at 11:23

1 Answer 1


A collection is not a set and a set should not be thought of as a virtual bag of things. A set should be thought of as the extension of a property or concept. A property could be, for example, "is an odd number" or "is an apple on that tree". Any objects of which the property is true is said to be in the extension of the property. A set then, is all of the objects in the extension of a property, viewed as a whole.

So if you make a pile of apples, there is a property associated with that pile, namely, "is an apple in that pile", and every apple in the pile is in the extension of that property, so there is a set associated with the pile. But it is a mistake to think of the set as being the pile. There is nothing in the notion of a set about things being brought together, just a notion of the elements having something in common like being in a pile together, or being an odd number, or being red. Of course, what they have in common could be completely artificial: "is an apple in that pile or is an odd number", for example.

  • good point, is the idea of a collection valid for abstract objects, or is it simply that they can be ;associated; with other ideas we feel as falling under them, is this idea of a 'collection' just a set due to a lack of spatial and temporal location?
    – Confused
    Oct 8, 2022 at 15:32
  • " A set should be thought of as the extension of a predicate. " How about if I give you the predicate x ∉ x ? Does that give us a set? No, that's Russell's paradox. A set is NOT the extension of a predicate. Surely you know that.
    – user4894
    Oct 8, 2022 at 21:06
  • @user4894, I did not say that every predicate has an extension. Actually, the word "predicate" was wrong; I should have said property or concept. Oct 8, 2022 at 23:41
  • 1
    @DavidGudeman Then I'd give x ∉ x as a property or concept. Any such formulation fails. You wrote, "A set should be thought of as the extension of a property or concept" and I can only respond to what you wrote. OP is asking about the nature of sets, and you gave them an inaccurate idea. Your use of "should" is wrong. Extensions of predicates don't always give sets. They almost never do, unless you are qualifying over an already existing set. As I believe you already know. Don't know why you're defending this point. If you'd said "can informally be" instead of "should" it would have been ok.
    – user4894
    Oct 9, 2022 at 2:00
  • @user4894, my switch from predicate to property was not motivated by your criticism; it was motivated by my lack of sleep and my sudden feeling that "predicate" meant "proposition". It was some sort of temporary delusion. In any case, that change was not a response to your criticism. My response to your criticism was given in the first sentence of my reply. Since you don't seem to have understood, let me elaborate: for my claim to be true it is not necessary that all predicates or properties have extensions, it is only necessary that all extension have predicates or properties. Oct 9, 2022 at 16:09

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .