An indefinite range inclusion theorem for triplets of bounded linear operators on a Hilbert space

We study triplets of Hilbert space operators satisfying a certain inequality. A range inclusion theorem with norm estimate for those triplets is given with the language of Kre\u{\i}n space geometry and de Branges-Rovnyak space theory.