Practice question · Multiple choice
The axiom of extensionality defines a set entirely by its members, without order or repetition. What consequence does this principle have for how we determine whether two separately described sets are identical?
Hints
- What condition ensures that no object belongs to one collection without belonging to the other?
- Does extensionality evaluate the phrasing of a condition or the actual objects gathered?
Show the answer
C. They are identical if and only if each is a subset of the other
Why
Equivalence in extensionality ignores description methods or counts; it requires mutual inclusion ( and ). Confusing intensional definitions or cardinality with set identity overlooks that distinct predicates can pick out the exact same collection of objects.
Practise Set Theory: Membership and Operations
The app has 4 more questions on this lesson, and keeps your place in the course. Philosophy I is free to start.
More questions on Set Theory: Membership and Operations
- A class has 18 students taking logic, 14 taking metaphysics, and 6 taking both. How many students take at…
- Which statements about the empty set are correct?
- De Morgan’s laws hold in the same form for sets as for propositions.
- Sort each claim by whether it uses membership or inclusion correctly.
- Arrange these sets in order of increasing size.
- Match each notation to what it expresses.