e,f,g E N: e+f ist kleiner g
Eine Relation ist eine Menge von Paaren. Was du schreibst
ist gar keine Relation, könnte aber vielleicht bedeuten
Es ist g ∈ ℕ und man betrachtet in Abhängigkeit von g die Menge
Rg = { (e;f) ∈ ℕxℕ | e+f < g }
Diese Relation ist jedenfalls nicht reflexiv, denn zu jedem g gibt
es immer ein Paar (e;e) , das nicht zur Relation gehört, weil
etwa g+g nicht kleiner als g ist.
