若A是B的充分条件，则说明A可以推出B,因此若x满足A，则必定可以推出x满足B，所以说A含于B；若A是B的充分不必要条件，由于是充分条件，因此由上行的解释，A含于B，但B又不是其必要条件，则说明从B不能推出A，因此说明B不包含于B，综上，A真包含于B。
