何为全集