The ability to compare two datasets requires the use of comparison reasoning. The comparison might be as simple as two numbers, such as the financial performance of a corporation over two quarters. However, in its broadest sense, comparisons are a type of analogical reasoning. For instance, we can make a comparison between an atom and the solar system.
Comparison reasoning involves three broad steps: case construction, comparison computation, and summarization. The case construction step includes collecting all the facts relevant to the comparison. The set theoretic difference is used to compare the input facts in a comparison calculation. The output of the difference computation is sorted by summary."