z.B. "reflexiv" prüfen bedeutet:
Gehört jedes Paar von der Form (x,x) zur Relation.
Dazu setzt du in die Bedingung ein:
x•x ≤ x+x+1
und versuchst herauszufinden, ob das für alle x ∈ℕ stimmt:
x^2 - 2x - 1 ≤ 0
stimmt z.B. für x=10 nicht; denn
100 - 20 - 1 > 0 .
Also Relation nicht reflexiv.
In der Art kannst du auch die anderen Eigenschaften prüfen.