1
$\begingroup$

Let $F=(f;A;B)$ is a morphism of the category $\mathbf{Rel}$ (the category whose objects are sets and morphisms are defined as binary relations).

How to name and how to denote $f$ when we know $F$?

I propose to call $f$ the graph of $F$. Right name?

But how to denote it? Are there a standard notation?

I propose the following (non-standard) notation: $\mathrm{GR}\, F= f$.

  • 2
    In practice you won't have to distinguish between $f$ and $F$. And I would call $f$ just a relation from $A$ to $B$.2012-05-27

1 Answers 1