0 or 1 arrows (relations) between any two objects

Can have a loop

In a way, the most basic category