Good question.
As far as I know (and there is no MSDN / blog / article, I know that this waves / proves it), the navigation property can be of any type if it implements ICollection<T>.
Both HashSet<T>and SortedSet<T>implement ICollection<T>, so either be viable candidates.
Did you go through the code? You should be able to see which particular class will be resolved.
ICollection<T>/IList<T>. ISet<T>?
, , .
(For<ISet>().Use<HashSet>()).