Description: A singleton is equinumerous to ordinal one if its content is an element of it. (Contributed by RP, 8-Oct-2023)