You are absolutely right.is it correct reasoning ?

To go a little further, consider the following definition. A setAis called initial if for every setB, there is one and only one function fromAtoB. Then the empty set is the unique initial set.