Concept
How does adding conditions to a set definition change its extension?
Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk / Chapter 1
"We sometimes use curly brace notation in combination with a colon to define a set intensionally. Consider this: M = {k : k is between 1 and 20, and a multiple of 3}. When you reach a colon, pronounce it as “such that.” So this says “M is the set of all numbers k such that k is between 1 and 20, and a multiple of 3.” This is an intensional definition, since we haven’t listed the specific numbers in the set, but rather given a rule for finding them. Another way to specify this set would be to write M = {3, 6, 9, 12, 15, 18}, which is an extensional definition of the same set. Increasing the intension decreases the extension. For example, suppose F is initially defined as the set of all females in the Davies family. Now suppose I decide to add to that intension by making it the set of all adult females. By adding to the intension, I have now reduced the extension from {Mom, Lizzy, Marina} to just {Mom}. The reverse is true as well: trimming down the intension by removing conditions effectively increases the extension of the set. Changing “all female persons” to just “all persons” includes Dad and T.J. in the mix."
Related Ideas
- What are the extensional and intensional ways to define a set?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- Can a set be extensional or intensional?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- Can an infinite set be defined extensionally?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- How are sets written, and what are empty and domain sets?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- How can a relation be defined extensionally or intensionally?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- What operations can be used to combine sets?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- Why is a set an abstract concept rather than an explicit list?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- How do membership symbols and fuzzy sets change the idea of belonging?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1