Let be the set of all persons living in a city. Persons are said to be related as if is at least years older than . Which one of the following is correct?
- AThe relation is an equivalence relation on .
- BThe relation is transitive but neither reflexive nor symmetric.
- CThe relation is reflexive but neither transitive nor symmetric.
- DThe relation is symmetric but neither transitive nor reflexive.
Solution & Step-by-step Explanation
The relation is defined as: .Reflexive: For a relation to be reflexive, must hold, which means . This is , which is false. Thus, it is not reflexive.Symmetric: For a relation to be symmetric, . If , then . This means cannot be . Thus, it is not symmetric.Transitive: If and , then and .Substituting :
Since certainly implies , the relation holds. Thus, it is transitive.
Since certainly implies , the relation holds. Thus, it is transitive.