Para todo x en X, se tiene que