A set of independent postulates for a metric space.

From MaRDI portal
Publication:2612969