https://123dok.net/document/q05448ng-words-metric-space-metric-spaces-comparison-function-fixed.html