Question: For each relation below, explain why the relation does or does not satisfy each of the properties reflexive, symmetric, antisymmetric, and transitive. (a) isBrotherOf on
For each relation below, explain why the relation does or does not satisfy each of the properties reflexive, symmetric, antisymmetric, and transitive.
(a) "isBrotherOf" on the set of people.
(b) "isFatherOf" on the set of people.
(c) The relation R = {(x,y) | x^2 + y^2 = 1} for real numbers x and y.
(d) The relation R = {(x,y) | x^2 = y^3} for real numbers x and y.
(e) The relation R = {(x,y) | x mod y = 0} for x, y ∈ {1, 2, 3, 4}.
(f) The empty relation ∅ (i.e., the relation with no ordered pairs for which it is true) on the set of integers.
(g) The empty relation ∅ (i.e., the relation with no ordered pairs for which it is true) on the empty set.
Step by Step Solution
3.34 Rating (163 Votes )
There are 3 Steps involved in it
Lets break down each case a isBrotherOf on the set of people This relation is not reflexive because a person cannot be a brother of himself It is symm... View full answer
Get step-by-step solutions from verified subject matter experts
