For any set there is a set such that there is no surjection from to More specifically, works. If is a Cardinal, we write Thus we know