Description: Membership in the difference of ordinal and successor ordinal. (Contributed by RP, 16-Jan-2025)