Set+theory+problem