在数学中，集合是由一些确定的元素组成的整体，而子集是可以由一个集合的部分元素构成的集合，子集是集合包含关系的一种表现形式，有时候我们需要用数学语言对子集关系进行描述，这时候就需要使用真子集符号。
真子集符号表示的是：集合A的真子集的集合，用符号表示为 {X|X⊊A}。其中，“⊊”表示真包含关系，即表示“严格包含”，而不是“包含”。因此，真子集是指A中元素的一部分，但不包含所有元素的子集。
例如，对于集合A={1, 2, 3, 4}，其真子集符号表示为{∅,{1},{2},{3},{4},{1,2},{1,3},{1,4},{2,3},{2,4},{3,4}}。其中，∅表示空集合。可以看到，集合A中任意两个元素组成的集合都是它的子集，但是并不是所有的组合都是真子集。
真子集符号的使用可以更加严格和准确地表示集合关系，避免语言歧义和误解。它在数学推理和证明中有着重要的应用价值。