yes that's true. but tbh I don't really have much of a feel for what a relation *is*, beyond the formal definition. I mean the relations I'm familiar with are peculiar ones like ordering and equivalence. What's a relation in general tho? umm... err... a subset of X × Y? That's about as far as my intuition gets me.