∣A∣≺∣2A∣|A| \prec |2^A|∣A∣≺∣2A∣ Which means there is no surjective map from AAA to its powerset of AAA.