A function is a type of object interrelationship. Furthermore, a function defines a set of finite lists of objects, one for each possible combination of arguments. Furthermore, in the world of discourse, a relation is another type of interrelationship between objects. Furthermore, function and relation are both defined as a collection of lists. And every relation is a function, but not every function is a relation.