Description: Characterization of the inclusion of a singleton in a class. (Contributed by BJ, 1-Jan-2025)