https://9dok.org/document/zgwleenv-illustrating-examples-comparison-uniform-proximal-spaces-using-relators.html