Es decir, para todo x,y en I, a e A se cumple que