空集是所有非空集合的真子集,那么B真包含于A(A不是空集),需要考虑B是空集的情况吗?