Hence this definition has the advantage of enabling a function, defined as a set of ordered pairs, to have a type only 1 higher than the type of its arguments.
Dlatego definicja ta ma tę zaletę, iż funkcja zdefiniowana jako zbiór par uporządkowanych ma typ tylko o jeden wyższy niż typ jej argumentów.