Product of positive-semidefinite kernels
= Product of positive-semidefinite kernels
The pointwise product of two <positive-semidefinite kernels> is positive semidefinite because its finite <kernel matrix> is the entrywise product of two positive-semidefinite matrices, to which the <Schur product theorem> applies.