Description: Definition of "singletonization". The class sngl A is isomorphic to A and since it contains only singletons, it can be easily be adjoined disjoint elements, which can be useful in various constructions. (Contributed by BJ, 6-Oct-2018)