Sin embargo, tienen la propiedad adicional de ser total, es decir, para todo "a", "b" en "X"