[FOM] A first-order theory of relations

[T.Forster@dpmms.cam.ac.uk]

At the last cameleon meeting here in cambridge:

www.dpmms.cam.ac.uk/~tf/nextmeeting.html

a friend of mine gave a talk about a first order theory with equality and a 
single ternary relation whose intended meaning is ``$x$ relates $y$ to 
$z$''. This encompasses set theory and graph theory and untyped lambda 
calculus. It's rather cute. So cute in fact that somebody must have thought 
of this before. Can anyone point me at some literature on this subject..?

       tf