Category:Union of Disjoint Singletons is Doubleton