My pretty weak intuition for relations is that they are the result of clustering things together according to one or more criterions. So if I let some clustering algorithm run on a set of things, the result will be a relation where things that belong together are together. That also connects nicely to your analogy of having bridges that don't have a order - neither do we care how exactly the cluster was computed, nor do we care how we write the resulting pairs.