Sean a,b elementos de A. Si existe (a,b) pertenecientes a R entonces (b,a) pertenece a R.