total-relation | Language en | Definition 1 (id=total-relation.def)

View Source View on TGView View on TGView3D Test on Jupyter

Definition 1 (id=total-relation.def)

A relation ${R}\mathop{\subseteq}{{A}\mathop{\times}{B}}$ is called total iff for all ${x}\mathrel{\in}{A}$ there is a ${y}\mathrel{\in}{B}$ , such that ${({x},{y})}\mathrel{\in}{R}$ . ${}_{\Box}$