以知全集U={x/x