Beispiele

• S = {(n, n + 1) | n∈$\mathbb {N}$} die Nachfolger-Relation auf $\mathbb {N}$

• P = S^- die Vorgänger-Relation
• Ü: beschreibe S⁺, S^*, (S∪P)⁺
• die (umgekehrte) Teilbarkeits-Relation

  x→y falls ∃z : x = y⋅z

• auf U = $\mathbb {N}$² die Relationen (x₁, x₂)→_i(y₁, y₂) falls x_i > y_i

  Ü: beschreibe →₁∪→₂,  →₁∩→₂,  →₁o→₂