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)