Entonces Cov puede ser considerado como un núcleo positivo definido.