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

问题描述:

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

如果A是B的子集 那么A就可以推出B B不能推出A 前提A不是空集