I have the following formula: $\exists y \forall x ((x \geq y) \wedge \neg(y \geq x))$
This essentially boils down to: $\exists y \forall x (x > y)$
I have to check whether this applies to certain universes. But my result depends on whether I can assume that x can also equal y, because in that case the condition will never be true (how could a number be smaller than and at the same time equal to another number?).
Can you give me a hint?