A finite domain isn't the same thing as an infinitely big function. Ever written a function that takes a list? You've got an infinite domain. (Well, generally

A finite domain isn't the same thing as an infinitely big function. Ever written a function that takes a list? You've got an infinite domain. (Well, generally in most programming languages not actually infinite, but the upper bound is so large that it might as well be.)