Die Zahlenpaare sagen nur, welche Elemente aus {1,2,3} in einer Relation stehen.
F ist symmetrisch, wenn folgendes gilt:
(x,y)∈F⇒(y,x)∈FDas ist der Fall für (1,2), (2,1) und (2,2) aus F. Also ist F symmetrisch.
Sie ist nicht reflexiv, weil 1 nicht in relation zu sich selbst steht.
Wäre die Relation transitiv, müsste
(1,1)∈Fweil
(1,2)∈F∧(2,1)∈FDas stimmt aber nicht mit der obigen Relation, also ist sie auch nicht transitiv