https://1library.net/document/q510vowy-fixed-result-applications-metric-endowed-arbitrary-binary-relation.html