I can't understand the explanation in the figure, but the uniqueness of the empty set can be proved by the following methods:

Assuming that both A and B are empty sets, according to the axiom of set theory that "an empty set is a subset of any set", there are:

(1) A is a subset of B;

And:

(2) B is a subset of a.

So A = B, the empty set is unique.