 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.