Definition:Correspondence

Definition
A relation $\mathcal R \subseteq S \times T$ is a correspondence iff $\mathcal R$ is both left-total and right-total.