2.7 Partial Orders and Equivalence

Relational Properties


For each of the following relations on people, decide whether the relation is reflexive, irreflexive, antisymmetric, or transitive:

  1. "are the same age"

    Exercise 1


  2. "is younger than"

    Exercise 2

    This relation is actually asymmetric - different people cannot be younger than each other.

  3. "have the same parents"

    Exercise 3


  4. "is a descendent of"

    Exercise 4

    This relation is irreflexive because a person is not considered to be his/her own descendent.

  5. "have a parent in common"

    Exercise 5

    This relation is not antisymmetric: different brothers have a parent in common.