Concept
What properties does the outranks relation have?
Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk / Chapter 1
"outranks is an endorelation on the set of all crew members of the Enterprise, where (x, y) ∈ outranks if character x has a higher Star Fleet rank than y. Is outranks reflexive? No, since no officer outranks him/herself. Is outranks symmetric? No, since an officer cannot outrank an officer who in turn outranks him/her. Is outranks antisymmetric? Yes, since if one officer outranks a second, the second one cannot also outrank the first. Is outranks transitive? Yes, since if one officer outranks a second, and that officer outranks a third, the first obviously also outranks the third. Is outranks a partial order? No, but close. It satisfies antisymmetry and transitivity, which are crucial. The only thing it doesn’t satisfy is reflexivity, since none of the members appear with themselves. If we changed this relation to ranksAtLeastAsHighAs, then we could include these “double” pairs and have ourselves a partial order."
Related Ideas
- What are the reflexive, symmetric, antisymmetric, and transitive properties of the endorelation T?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- What are partial orders and partially ordered sets?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- What do reflexivity, symmetry, and antisymmetry mean for endorelations?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- What is transitivity, and how can it be tested in an explicit relation?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- Does a relation between a set and itself require the two elements of each pair to be the same?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- How are asymmetric, symmetric, and antisymmetric relations different?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- Is the relation an endorelation?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- 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