Post #2278886

@julesh@mathstodon.xyz To answer one of your questions, namely whether the power set function is injective (in the sense of cardinality): This depends on your axioms for set theory. Under the generalised continuum hypothesis it holds, without it, there are counterexamples, see https://mathoverflow.net/q/67473/15887