数学中，集合符号是描述集合及其关系的核心工具，涵盖基础表示、元素与集合的关联、集合间的包含、运算及特殊集合等多个类别。
基础表示符号里，大括号{}是集合的基本书写形式，既能枚举元素如{1,2,3}，也能通过条件描述如{x|x是质数}表示集合；∅代表空集，即不含任何元素的集合；U通常表示全集，包含所有研究范围内的对象。
元素与集合的关系用∈和∉标记，∈意为“属于”，比如2∈{偶数}；∉意为“不属于”，比如3∉{偶数}。
集合间的包含关系有⊆、⊂/⊊、=及P(A)或℘(A)。⊆表示子集，若A的所有元素都在B中，则A⊆B；⊂或⊊表示真子集，即A是B的子集且B存在A没有的元素；=表示集合相等，当且仅当两个集合元素全一致；P(A)是A的幂集，包含A的所有子集，比如A={a,b}，则P(A)={∅,{a},{b},{a,b}}。
集合运算符号用于操作集合：∩是交集，A∩B是同时属于A和B的元素集合；∪是并集，A∪B是属于A或B的元素集合；∁_U A是补集，即全集U中不属于A的元素集合；\\是差集，A\\B是属于A但不属于B的元素集合；△是对称差，A△B是属于A或B但不同时属于两者的元素集合。
常用特殊集合有固定符号：N代表自然数集，Z代表整数集，Q代表有理数集，R代表实数集，C代表复数集；N+或N*表示正整数集，N₀表示非负整数集。
这些符号共同构成集合论的语言体系，精准传递着集合的概念与关系。