Ordered pairs in a relation