Metric spaces and positive definite functions | Synapse