correspondence Deductions correspondence is for example has parts of class ⇐ (has parts of class is a correspondence), (is a is inverse of is for example)