子集与推出的关系