What have you tried so far?
For each of these binary relations, determine whether they are reflexive, symmetric,
antisymmetric, transitive. Give reasons for your answers and state whether or not they
form order relations or equivalence relations.
On the set {audi, ford, bmw, mercedes}, the relation
{(audi, audi), (audi, bmw), (bmw, bmw), (ford, ford), (mercedes,mercedes),
(audi, mercedes), (audi, ford), (bmw, ford), (mercedes, ford) }.
Let F be the set of all possible filenames consisting of character strings of at
least one character. The relation R contains all pairs of names (name1, name2)
where the first eight characters of name1 are the same as the first eight
characters of name2, or if name1 and name 2 have fewer than eight characters
and are exactly the same.
Suppose the parent set is . A relation defined on this set is reflexive if the relation-set contains the element for all . Is it the case here?
A relation defined on this set is symmetric if for any belonging to the relation-set, the element is also present in the relation-set. Is it the case here for all ?
A relation defined on this set is transitive if for two elements and belonging to the relation-set, the element is also present in the relation-set. Is it the case here for all
Proceed step by step; realize the concept and tell what you get.