子集与推出关系