Es decir, para cualesquiera "a", "b", y "c" en "X" se tiene que: