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

${R}\mathop{\subseteq}{{A}\mathop{\times}{B}}$ is a (binary) relation between $A$ and $B$ .

If ${}{{A}\mathrel{=}{B}}{}$ then $R$ is called a relation on $A$ . ${}_{\Box}$