Hey!

Ich möchte beweisen, dass "a < c ∨ (a = c ∧ b ≤ d " eine Halbordnungsrelation ist.

Für reflexiv habe ich: R ist reflexiv, da a < a ∨ (a = a ∧ a ≤ a)

Aber bei transitiv und antisymmetrisch bin ich mir nicht sicher, wie.

Vielen Dank im Voraus!

Hallo,

Ich habe also die folgenden zwei Relationen:

R = { (a, b) ∈ N × N | a = b + 4 }

S = { (a, b) ∈ N × N | a + b ist durch 5 teilbar }.

Und ich versuche, die Relationen R^-1, R ◦ S und R^-1 ◦ R zu erhalten.

Für R^-1 habe ich:

R^-1 = { (b, a) ∈ N × N | b = a - 4 }

Aber ich bin mir nicht sicher, wie man R ◦ S erhält.

Vielen Dank im Voraus