1、已知，示在论证，解释，解题，过程中，满足题设题目要求的情况下，所设变量必须满足的关系。是一种用于描述解题过程的语言。2、设，用来构造未知数，变量，函数，向量等。是一种为便于表达而构建数学符号时所采用的语言。