List of metric-space notes:

• P-adic metric
• Isometry
• Infinity-metric space
• Metric space
• Metric topology
• Compactness