Thread:

1. reflexive, symmetric, antisymmetric, transitive?

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.

2. What have you tried so far?

3. I don't really know were to start

4. Originally Posted by jander1
I don't really know were to start

Start with the reflexive. A binary relation $R$ on a set $S$ is said to be reflexive iff $aRa$ for all $a\in S$ .

Are those relations reflexive?

5. Originally Posted by jander1
I don't really know were to start

6. Suppose the parent set is $\{a_1,a_2,a_3,a_4\}$. A relation defined on this set is reflexive if the relation-set contains the element $(a_i,a_i)$ for all $i=1,2,3,4$. Is it the case here?

A relation defined on this set is symmetric if for any $(a_i,a_j)$ belonging to the relation-set, the element $(a_j,a_i)$ is also present in the relation-set. Is it the case here for all $i,j=1,2,3,4$?

A relation defined on this set is transitive if for two elements $(a_i,a_j)$ and $(a_j,a_k)$ belonging to the relation-set, the element $(a_i,a_k)$ is also present in the relation-set. Is it the case here for all $i,j,k=1,2,3,4?$

Proceed step by step; realize the concept and tell what you get.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 14, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9236549735069275, "perplexity_flag": "middle"}