todo x, y en E se cumple que