User:Dfeuer/Singleton Set is Set