8.5 Metametrics or partial metrics March 21, 2026 by jlamprecht https://en.wikipedia.org/wiki/Metric_space#Metametrics_or_partial_metrics
