General Definition of Function

It is useful to note that the word "function" alone can be defined in primitive terms, not only the more complete concept "function from X into Y": a function is an ordered pair whose first element is an ordered pair of sets, say (X,Y), and whose second member is a function from X into Y. See ita-1-3-5-pg9 :