Return an unmodifiable Set instead of a copy, in Set getters