I just looked up the Set
interface and found that it mostly (or completely) only redeclares functions which are already in the Collection
interface.
Technically for the compiler it makes no difference at all.
However, a set cannot have duplicate entries whereas a Collection can. This is worth knowing about.
Because of this, the methods semantics for parameters, return values and what happens can mean different things. Redeclaring also allows the javadoc to become more specific. For example for add():
Set: @return true if this set did not already contain the specified element
Collection: @return true if this collection changed as a result of the call
The meaning for set is more specific.
Even for methods that are not more specific, it enables the javadoc to be nicer. For example, for size() : "Returns the number of elements in this set (its cardinality)." which is closer to the language people used to mathematical sets will understand.
The API documents summarise this by saying: "The Set interface places additional stipulations, beyond those inherited from the Collection interface, on the contracts of all constructors and on the contracts of the add, equals and hashCode methods. Declarations for other inherited methods are also included here for convenience. (The specifications accompanying these declarations have been tailored to the Set interface, but they do not contain any additional stipulations.)"