Before revision:  Importantly, this is established for continuous spaces -- which are highly relevant for popular differentiable search schemes.
After revision:  Importantly, this is established for continuous search spaces which are highly relevant for popular differentiable search schemes.