Defina \(v\) como:
  - \(\text{dom}(v) = \text{dom}(u)\)
  - \(v(x) = u(x) \wedge |\psi(x)|\)