集合A真包含于B是A包含于B成立的充分不必要条件.
（若集合A真包含于B（即A是B的真子集）,则A包含于B（A是B的子集）成立.
即：“集合A真包含于B”不是“A包含于B”的充分条件
而若A包含于B,则有集合A真包含于B或A=B.
所以“集合A真包含于B”不是“A包含于B”的必要条件）