Definition:Correspondence

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


 * $$\mathcal{R}$$ is left-total;


 * $$\mathcal{R}$$ is right-total.