公理的集合論において、ある集合からそのべき集合への全単射が存在しないことを示す定理は。

集合の濃度とそのべき集合の濃度の間に厳密な大小関係があることを示す定理です。