Definition:Correspondence

Definition
A relation $\mathcal R \subseteq S \times T$ is a correspondence iff:


 * $(1): \quad \mathcal R$ is left-total
 * $(2): \quad \mathcal R$ is right-total.