Deļ¬nition: The expression (e1 CORR e2) is used to specify a qualitative or quantitative correspondence of two entities, e1 and e2, or a mutual assignment in a more general framework comprising both of these entities. The relation CORR is symmetric.