Concept
How can an infinite relation be specified extensionally?
Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk / Chapter 1
"As an example of the second, consider the relation “isLuckierThan” between N and N. (The “N” means “the natural numbers.”) We specify it extensionally as follows: { (1, 13), (2, 13), (3, 13), …(12, 13), (14, 13), (15, 13), (16, 13), … } Here we’re just saying “every number is luckier than 13 (except for 13 itself, of course).”"
Related Ideas
- 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
- Can an infinite set be defined extensionally?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- What is an endorelation?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- What is a relation between two sets?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
- What is an infinite set?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- 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
- How many different relations can exist between two sets?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1