Negating the statement: \exists M \in R such that \forall x\in S, x\leqM

[brntspawn]

Homework Statement

\exists M \in R such that \forall x\in S, x\leqM
Write in symbolic for the negation of the statement.

The Attempt at a Solution

\forall M\in R, \exists x\in S such that x\geqM

Is this correct?

 

[rochfor1]

It should be x > M, but otherwise yes.

 

[brntspawn]

Great. Thanks for the help.