Positive-definite functional
Redirect to:
Seminorm#Point-separating