2
votes
1answer
99 views

Is there relation that is symmetrical, transitive and non-reflexive?

We must show that there exists some kind of $\alpha$ relation $\alpha ⊆ X \times X$ which has these conditions : if this relation is I and II type. I) symmetrical: if $∀x,x' ∈ X : (x, x') ∈ \alpha ...
2
votes
0answers
81 views

How to denote the set of binary relations of which a particular ordered pair is a member?

Given a universe $U$ and two subsets $S$ and $T$ (also, both members of $U$), what is the name given to denote the set of all binary relations in $U$ where the ordered pair $(S,T)$ is a member? The ...
2
votes
2answers
356 views

Distinguishing equality and isomorphism as relations

Is this relational characterization of equality in Wikipedia accepted? The identity relation is the archetype of the more general concept of an equivalence relation on a set: those binary ...
1
vote
0answers
110 views

Example relations: pairwise versus mutual

There are by now several questions on math.se asking about pairwise versus mutual relations, eg: • When does “pairwise” strengthen and when does it weaken? • Relation: pairwise and mutually • ...
1
vote
1answer
86 views

Categories of $n$-ary relations?

Arrows in the category $\bf Rel$ are binary (2-valued) relations between set objects. Do ternary, 4-term, $n$-term and variadic (2-valued) relations form categories? (Or perhaps one category?). It ...
4
votes
1answer
200 views

Motivation behind Theory of Relations?

I looked through the nice paper by Tarski On the Calculus of Relations. In the beginning he touched a motivation behind Theory of Relations but this part was not clear to me (page 1, very beginning): ...
0
votes
2answers
2k views

Equivalence Relations and Inverse Relations

Prove that if $R$ is an equivalence relation on a set $A$, then $R^{-1}$ is also an equivalence relation on $A$. Solution: We know that $\forall R\in A$, $$ R = \{(a, b) | (b, a)\in A\} $$ ...