A estrutura de dados HashSet garante a preservação de elementos únicos?

Sim, a estrutura de dados HashSet em Java (e Android) garante o armazenamento de elementos únicos. É baseada numa tabela de hash e não permite duplicados.

Quando adiciona um elemento ao HashSet, ele verifica se esse elemento já existe (usando os métodos hashCode() e equals()). Se o elemento já estiver presente, a adição não ocorre.

Exemplo:

HashSet<String> set = new HashSet<>();
set.add("maçã");
set.add("banana");
set.add("maçã"); // não será adicionado, pois "maçã" já existe

System.out.println(set); // Vai mostrar [maçã, banana]

Assim, o HashSet garante que na coleção haverá apenas elementos únicos.