A positive, lower semi-continuous, non-degenerate function on a metric space
Volume 35 / 1948
Fundamenta Mathematicae 35 (1948), 47-78
DOI: 10.4064/fm-35-1-47-78