Positive-definite functional

Redirect to:

• Seminorm#Point-separating