Americas
Europe
Q8E
Expert-verifiedShow that the relation on a non-empty set is symmetric and transitive, but not reflexive.
Hence is symmetric, transitive and not reflexive.
The relation on a non-empty set is given.
A relationon a set is called reflexive if for every element .
A relation on a set is called symmetric if whenever , for all .
A relation on a set such that for all , if and then is called anti symmetric.
A relation on a set is called transitive if wheneverand then for all
Symmetric Since is always false (as is the empty set), the conditional statement is true for any statement B.
Let B be the statement " ". The conditional statement
"If , then " is then always true and thus the relation is symmetric by the definition of symmetric. Transitive Since is always false (as is the empty set) and since is always false, the statement " , and " is also always false. Then the conditional statement and is true for any statement B.
Let B the statement " ". The conditional statement
" If and , then is then always true and thus the relation is transitive by the definition of transitive.
Not reflexive For any element because is the empty set. By the definition of reflexive, is then not reflexive.
Hence is symmetric, transitive and not reflexive.
94% of StudySmarter users get better grades.
Sign up for free