已知全集U={X|1