Intuitivamente, esta fórmula dice que para todo "x", "x" es menor o igual que "y" (es decir, que "y" es máximo).