Description: Equality of class abstractions restricted to a singleton. (Contributed by AV, 17-May-2025)