a*b=b*a
Relation
transitiv