While the existence of the central subspace \mathcal{S}_{y|x} is not guaranteed in every regression situation, there are some rather broad conditions under which its existence follows directly.
Let \mathcal{S}_1 and \mathcal{S}_2 be dimension reduction subspaces for y|\textbf{x}.