https://convtker.blogspot.com/2023/12/how-to-convert-map-to-set-in-java.html