It defined a relation as "any set of points on the Cartesian plane". Wait, what? Set, sure, but why points, and why plane, and why does the plane have to be Cartesian?
Then I went to my college textbook, which defined it as a "property shared by two objects", and and that a relation between sets X and Y is a subset of the Cartesian product of sets X and Y, which sounds like a very roundabout way of saying that it's a set of pairs, where one element is from X and the other from Y, but fine, I get it. Descartes is invoked in both definitions, not sure if it has any significance. Why pairs, though? Later it mentions relational databases as a practical applications of relations, where the relation is something two tables have in common that you would make a join on.
Of course, then I went to the actual database textbook, which instead says that it's the tables themselves that are the relations, defining a relation as a set of n-tuples rather than a set of pairs. Does this madness ever end?
Wikipedia to the rescue! The disambiguation page for Relation[2] explains that there are finitary relations, of which binary relations is a special case. This is clearly what the first two textbooks are talking about. Would it have killed them to have called it a "binary relation" when defining it?
This is what I mean by overly narrow definitions. You could also say that they are appropriately scoped definitions with overly broad names.
This isn't the first time I have this problem. All the way back in first grade I was sternly told by the teacher that you simply cannot subtract a larger number from a smaller one. Being a rather naughty child I got hold of my father's desk calculator to see if entering a problem like that would break it. When it didn't I confronted the teacher who just blew me off. I guess it's hard to explain to a first grader that "the subtraction of a larger number from a smaller is not defined for natural numbers", but at the very least she could have said "that's a negative number, we'll deal with that next semester". I consider this general problem to be my mathematical nemesis.
It's not that I don't understand the reason why teachers and textbook authors do this. I think conventional maths education is optimised for maximum utility regardless of what level you get off on, not the fastest path to a maths Ph.D. Graduating from elementary school to go work in the coal mine or cotton mill knowing only esoteric set theory just isn't very helpful. But do you need to know any maths for that? Or now that most of us stopped sending children to mines and mills and rather want them to become Silicon Valley wiz kids, maybe that's what we need to start optimising for.
In my case I know exactly the level I want to get off on. Not Ph.D., but at least to have a passable grip on the things relevant as a software developer. So I wonder if there's a more optimised way than conventional education. Maybe create a dependency graph of mathematical concepts, pick what I want to learn and then do a topological sort to get the order of prerequisites?
1. https://news.ycombinator.com/item?id=31539549
2. https://en.wikipedia.org/wiki/Relation#Mathematics
Khan Academy is meant to be good and free https://www.khanacademy.org/