It is kinda strange. There is no agreement on the definition of a relation. Some books says it is a set of ordered pairs. Other books says it is a subset of a cartesian product. How nice if everything can be agreed down to a few axioms like Euclid's elements. What is your favourite definition of a relation?