Re:0^0
by xyzzyz on Thursday April 03, 2014 @01:56AM
(#7521205)
So mapping is exactly a function, unless domain and codomain are empty, in which case it doesn't exist?
Empty set is as good and useful as nonempty ones, and you seen to have no problems with using them. Why do you find it hard to accept an empty function f: E -> X, where E is empty set, that doesn't associate any element of E with any element of X?
Empty set is as good and useful as nonempty ones, and you seen to have no problems with using them. Why do you find it hard to accept an empty function f: E -> X, where E is empty set, that doesn't associate any element of E with any element of X?