Description: The singletonization and the tagging of a set contain the same singletons. (Contributed by BJ, 6-Oct-2018)