Ontify
Separable Banach space equipped with a Hilbert subspace such that the standard cylinder set measure on the Hilbert subspace induces a Gaussian measure on the whole Banach space.