Although it is hard to draw diagrams of general relations, we can draw a binary relation the same way we draw functions:
However, because binary relations only relate one set to itself, we can draw them more compactly by only including one copy of .
Here, an arrow from relation on the set .
to indicates . This diagram represents the