子集与推出的 关系