How is the graph of a Bourbaki function usually written?

61 Views Asked by At

Given a Bourbaki function $f = (F, A, B)$, its domain $A$ is often denoted by $\operatorname{dom} f$ and its codomain, range, or target by $\operatorname{cod} f$ (and sometimes $\operatorname{ran} f$, depending on the author).

What's the typical notation for the function graph of $f$, i.e., for $F$? We already have two destructors ($\operatorname{dom}$ and $\operatorname{cod}$), but a Bourbaki function has three components, so one destructor is missing, or, at least, I have not seen it yet ….

References to literature are overly welcome.