谢邀。表示集合A包含于集合B,等价于A的元素都是B的元素,也就是
表示集合A真包含于集合B,等价于A的元素都是B的元素并且B中元素一定比A多,排除了相等的情况,也就是