[jxf]

In the mathematical sense, all functions are relations, but not all relations are functions.

[IsTom]

What are relations, if not an indicator function of a cartesian product?