Relation

Definition

A^{2} = A \times A = \{(a, b) : a \in A, b \in A\}

ρ \subseteq A^{2}

The relation ρ is a set of ordered pairs, a subset of an Cartesian squere AxA.

Example:

A = \{1, 3, 6\}

A x A = \{(1, 1), (1, 3), (1, 6), (3, 1), (3, 3), (3, 6), (6, 1), (6, 3), (6, 6)\}

ρ = {(1, 1), (1, 3), (1, 6), (3, 3), (3, 6), (6, 6)} | ρ \subseteq A^{2},

The relation ρ in this case means ≤(less or equal): (1≤1), (1≤3), (1≤6), (3≤3), (3≤6), (6≤6).

(\forall a \in A) : a ρ a

IN CASE OF ORDERED GRAPH: every vertex of graph hase loop.

Example:ρ is reflexiv, because for every element of A is true: $(1 \leq 1), (3 \leq 3), (6 \leq 6)$

(\forall a, b \in A) : a ρ b \Rightarrow b ρ a

IN CASE OF ORDERED GRAPH: there is 0 or 1 edge between any of two different vertecies.

Example:ρ is ant-symmetric, because each number is less than or equal to itself.

Equivalence Relations: reflexive, symmetric and transitivev
Partial order: reflexive, anti-symmetric and transitivevv
Dichotomy: for every a, b ∈ A, (a, b) ∈ ρ or (b, a) ∈ ρ
IN CASE OF ORDERED GRAPH: there is a path between any two points of the graph.
Order:, partial order and dichotomy

Keywords: relations, reflexivity, symmetry, transitivity, anti-symmetry, equivalence, partial order:, dichotomy, order