- An equivalence relation.
- Reflexive, transitive but not symmetric.
- Symmetric, transitive but not reflexive.
- Neither transitive nor reflexive but symmetric.
- Reflexive, transitive but not symmetric.
Solution:
The relation S is reflexive, since for any $(\text{a, a})\in\text{S}$ the condition a2b holds,
The relation S is not symmetric since, for any $(\text{a, b}]\in\text{S}$ but $(\text{b, a})\notin\text{S}$
The relation S is transitive since, for any $(\text{a, b}]\in\text{S}$ and $(\text{b, c})\in\text{S}$
Therefore, $(\text{a, c})\notin\text{S}$