Talk:Surjection iff Cardinal Inequality

No I don't understand either, I didn't write it. --prime mover (talk) 22:10, 2 September 2022 (UTC)

It looks like an empty assumption to me. $S \sim \card S$ just means $S$ has the same cardinality as the cardinal number of $S$, which is always true. Since the statement of the theorem already explains what $\sim$ denotes, I think we could just remove this assumption. -- Anghel (talk) 22:49, 2 September 2022 (UTC)

Long time since I came down this route. I have done as you suggest and presentation is now cleaner than it was. --prime mover (talk) 23:31, 2 September 2022 (UTC)

Yes, much cleaner now. Thanks! — Lord_Farin (talk) 07:07, 4 September 2022 (UTC)