I want to formalize: "If X is less than Y, Then U is equal to Y ", and have been told that $$ \bf [\forall V \sim X=(Y+V)]U=Y $$ does not cover the case X=Y. Therefore I have rewritten it as
$$ \bf [\forall V \sim X=(Y+V)][\sim X=Y]U=Y. $$ Is this okay using basic meta math?