>>14129768Then you made two distinct maps, you gave two definitions to the arbitrary symbol, and by virtue of that we now have two 1 Tuples f(x)->{1} and f(x)->{2}, 1=/=2, they are distinct. x, as a symbol by itself is meaningless until I define a function for it so that it can be mapped, in this case let x be a Natural Number, for the first function we have f(x)=0<x<2, and for the second we have 1<x<3
