怎样定义子集与推出关系?