MHB What are the key differences between a set and a class?

  • Thread starter Thread starter highmath
  • Start date Start date
  • Tags Tags
    Class Set
Click For Summary
A set can be considered a type of class, but not all classes qualify as sets. Sets can contain other sets, while classes cannot contain other classes in the same way. Classes are broader collections that can lead to contradictions in naive set theory, such as Russell's paradox. Modern set theory, particularly ZFC, employs axioms to define valid sets and operations. A class that cannot be constructed as a set is termed a proper class, exemplified by the class of all sets, which cannot exist as a set.
highmath
Messages
35
Reaction score
0
What the differences between set and class?
 
Physics news on Phys.org
highmath said:
What the differences between set and class?
Hi highmath,

Each set can be viewed as a class, but the converse is not true. You can have sets of sets, but not necessarily sets of classes.

A class is basically any collection you can think of; this was the approach used by Cantor in his initial theory (the naive set theory). However, it soon became apparent that attempting to build a set theory on that basis led to contradictions; one of these contradictions is Russel's paradox.

To solve that problem, modern set theory uses an axiomatic method: there is a set of axioms (the standard system is called ZFC) that define a limited set of operations that can be used to construct sets. The collection of objects that satisfy a property is a class, but, unless you can construct it using the axioms of the theory, you cannot assume that it is a set; in particular, you cannot use it as a member of a set.

A class that is not a set is called a proper class. For example, the class of all sets is a proper class: there is no set of all sets.
 

Thread 'A variant of the Monty Hall problem'

There is a nice little variation of the problem. The host says, after you have chosen the door, that you can change your guess, but to sweeten the deal, he says you can choose the two other doors, if you wish. This proposition is a no brainer, however before you are quick enough to accept it, the host opens one of the two doors and it is empty. In this version you really want to change your pick, but at the same time ask yourself is the host impartial and does that change anything. The host...
View full post »

Similar threads

I The difference between a family of sets and an indexed family of sets
  • · Replies 1 ·
Replies
1
Views
2K
I Countability of binary Strings
  • · Replies 18 ·
Replies
18
Views
2K
I How to determine if a set is a semiring or a ring?
  • · Replies 2 ·
Replies
2
Views
3K
A Defining the membership relation in set theory?
  • · Replies 14 ·
Replies
14
Views
5K
MHB Equivalence Classes: Solving Cbarker1's Problem
  • · Replies 1 ·
Replies
1
Views
2K
MHB Relation between Sets AUFTRAG & KUNDE
  • · Replies 62 ·
3
Replies
62
Views
4K
MHB Isomorphism of logic, arithmetic, and set theory
  • · Replies 2 ·
Replies
2
Views
3K
B Equal sets with different symbols?
  • · Replies 7 ·
Replies
7
Views
1K
B Confusion about division by zero in sets
  • · Replies 2 ·
Replies
2
Views
2K
MHB Proof of a set union and intersection
  • · Replies 1 ·
Replies
1
Views
1K