Closure property of positive-semidefinite kernels
= Closure property of positive-semidefinite kernels
Nonnegative scalar multiples, sums, pointwise products, pointwise limits, and pullbacks of positive-semidefinite kernels are positive semidefinite whenever the displayed expressions are defined.