逻辑学中把"行星"限制为——,概括为——