属于关系

属于符号

不属于

形式化：属于关系是元素整体出现在集合符号去掉最外层符号里面的判断