The interpretation can be any family of sets \(B_{x,y}\) (\(x{:}A\), \(y{:}A\)). How does this cover the standard notion of relation? Suppose we have a binary relation \(R\) on \(A\) in the familiar set-theoretic sense. We can make a binary family corresponding to this as follows