Which of first or second input are we comparing the third to? If both, then I don&#x27;t think you operator makes sense, since that would suggest your ~=~ operator is transitive. Since all inputs are comparable, I assume, that would mean your operator is an equivalence relation.<p>Due to transitivity:<p>A ~=~ B ~=~ C   and<p>C ~=~ E ~=~ F  implies that<p>A ~=~ F  which would not necessarily be the case.<p>For instance:<p>Let X be a large set with many elements. Then a &quot;reasonable intelligent human&quot; might suggest that:<p>(X `union` {1}) ~=~ (X `union` {2})<p>And also:<p>(X `union` {2}) ~=~ (X `union` {3})<p>......
(X `union` {999999999999}) ~=~ (X `union` {1000000000000
})<p>which implies<p>(X `union` {1}) ~=~ (X `union` {1000000000000
})<p>, even if this is actually the case, you expect it not to be for some large enough number. Then your operator cannot be transitive, but then what use is the knowledge that input #1 is approximate equal to input #2?<p>But since you already &quot;discovered&quot; the algorithm, why not just show it, or the pseudo code, such that we could discover its true name?