Functions on the empty set

These kind of pathologies hurt my brain... help me out:
Formally a function F from A to B is a subset of AxB such that for any a in A there exists a unique b in B with (a,b) in F.
How many functions are there from the empty set to the empty set? Now from the definition, "for any a in A" fails already, so everything vacuously follows. Since the only subset of the Cartesian product is the empty set, there is only one function. Is this correct? Is it actually a function or just a relation?

What if A is empty and B is not? Following the steps again, there is only one function (relation)?

What if A is non-empty and B is empty? Then there is no function at all? But the empty set is still a subset of the Cartesian product; is it just a relation then?

Preface: Anything that anyone can say will be contradicted by someone.
My graduate education was in a school where the empty set was not allowed; there are no empty point-sets.
But I understand that is not practical in contemporary mathematics.
That said I would simply ask you to consider these facts.
If then .
If then .
BUT is not defined.
Does any that help you?

Can I ask in what areas of math this is the case? I thought the empty set is fundamental from set theory, being included as an axiom in ZF (or ZFC) and in some systems can even be derived.

Does this notion ever become problematic outside of set theoretic terms (like for example in topology or field theory)?

It would really be interesting to know what grad school did Plato attend since they obviously do not abide by ZFC and usual set theory rules. Not taking into consideration the empty set as a set (if this is what Plato really meant) has rather far-reaching consequences in some definite areas in maths (for example, in combinatorics).

Anyway, and going back to the OP question: if , then and thus there's one unique function from or to the empty set.

As for : it certainly isn't defined but , so one can safely define as long as we restrict ourselves to positive reals.

Very interesting the 'history of different points of view' regarding described by Wiki!... in my opinion the Italian methematician Guglielmo Libri was right regarding the identity , even if he wasn't able to do a 'covincing demonstration' of that...

Some year ago I found [at least that's my opinion...] a 'rigorous prove' that, if we indicate with , is , exactly as for the Riemann zeta function is . I am glad to supply here this 'demonstration', but with some preconditions ...

R L Moore may have started the field of Point Set Topology. He certainly named it.
His book FOUNDATIONS OF POINT SET THEORY contains not a single reference to an empty set.
A point set cannot be empty as I said in my post.
After rereading this thread, I can see wisdom in that position.
Donít you think that these are ridiculous arguments?

This is the point (pun intended): how does one define a "set point"? If one defines it as a set (like in standard set theory) containing at least one point then obviously the empty set is left out.
Now, how can anyone do topology without the empty set is beyond my imagination, since from the very beginning one would have to leave out lots of things from "standard" topology.

I think in both cases we have the sets equaity and thus in both cases we have one unique function, represented by the empty set as the unique subset of the corresponding cartesian product.
Tonio

If you want to say the only function from to is the empty set, you must write .

Now, what about the functions from a non empty set into ? Well by definition, if is a function, for all element there must be an element such that Since there is such but you cannot find any such that as Therefore there is no function from to that is, ( not ).

The most reasonable way to study sets is as a category. If we view sets as a category, then there exists one function , the empty function, otherwise we cannot think of sets as a category.

In fact, according to ZF we can form the set of function from the empty set to the empty set. This is most easily seen by looking at Lawvere's axioms which are slightly weaker than ZF. Two of these are,

-There exists a set with no elements,
-Given sets A and B we can form the set of functions from A to B.