>>221
たぶん、選択公理のもとでは同値。