Authorized subtraction and normalization

Let $Z=U\setminus V$, where $V$ is a proved reference domain. Suppose the frozen problem supplies an actual linear ambiguity space

with all required tensor, support, growth, and wavefront restrictions. This notation does not specify that physical space; it exposes the needed input.