Defina \(v\) como:

1. \(\text{dom}(v) = \text{dom}(u)\)
2. \(v(x) = u(x) \wedge |\psi(x)|\)