Definition talk:Mapping/Definition 3

From ProofWiki
Jump to navigation Jump to search

Considering relation $f$ as a subset of $A\times B$, where $A$ and $B$ are domain and codomain respectively, is preferred on $\mathsf{Pr} \infty \mathsf{fWiki}$. Is it necessary to change the notation of Definition 2 & 3?--AuroraAeon (talk) 10:07, 11 November 2023 (UTC)