Bien is correct. But why make things difficult on yourself? First of all, there is no need to add the constraint y>=0, because that is already enforced in the lorentz constraint. But more fundamentally, instead of using lorentz you can simply norm(A*x-b)<=y. It is exactly the same, mathematically, and easier to read. I definitely recommend avoiding the use of sets when functional alternatives like this exist.