已知U={x|x