数学公式常简称公式，是指那些表示两个量之间等于或不等的公式。例如关于球体的体积，有
V
=
4
3
π
r
3
{\displaystyle V={\frac {4}{3}}\pi r^{3}}
的公式，其中 V 即代表球体体积，r 是球体半径，左右两边的项以等号连接。原先也许需要用到穷竭法或微积分去求体积，但总结了公式之后，只需知道 r 的值，便能简单地求出 V 的值了。
集合代数发展并描述了集合的基本性质和规律，集合论运算，如并集、交集、补集，以及集合的二元关系，如等于、子集。这门学科系统研究如何来表达和进行上述的运算和关系的操作。
等号表示相等关系的符号，读作“等于”，是在公元1557年由罗伯特·雷科德发明的。在数学等式中，等号被放置在具有相同值的两个表达式之间。在 Unicode 和 ASCII 中，它是U+003D = 相等符号 ，HTML：=。
在数学上，关系是对如等于
=
{\displaystyle =}
或序理论
<
{\displaystyle <}
等二元关系的广义化。
关系运算子在计算机科学的编程语言中，是测试或定义两个实体之间某种二元关系的构造或操作符。这些包括数值等于和不等式。在具备布尔的编程语言中，这些运算符通常根据两个运算数之间的条件关系是否成立，判定为真或假。诸如 C 语言中关系运算子返回整数 0 或 1，其中 0 表示假，任何非零值表示真。使用关系运算子创建的表达式，形成所谓的关系表达式或条件。
关系运算子可以被视为逻辑的特殊情况。
在数学上，关系是对如等于
=
{\displaystyle =}
或序理论
<
{\displaystyle <}
等二元关系的广义化。
在数学中，外延性通常指称某种形式的。可追溯到莱布尼兹的原理，两个数学对象是等于，如果没有区分它们的检验。例如，给出两个数学函数 f 和 g，我们可以说它们是相等的，如果
在数学上，关系是对如等于
=
{\displaystyle =}
或序理论
<
{\displaystyle <}
等二元关系的广义化。
关系运算子在计算机科学的编程语言中，是测试或定义两个实体之间某种二元关系的构造或操作符。这些包括数值等于和不等式。在具备布尔的编程语言中，这些运算符通常根据两个运算数之间的条件关系是否成立，判定为真或假。诸如 C 语言中关系运算子返回整数 0 或 1，其中 0 表示假，任何非零值表示真。使用关系运算子创建的表达式，形成所谓的关系表达式或条件。
关系运算子可以被视为逻辑的特殊情况。
在数学中，外延性通常指称某种形式的。可追溯到莱布尼兹的原理，两个数学对象是等于，如果没有区分它们的检验。例如，给出两个数学函数 f 和 g，我们可以说它们是相等的，如果
Mini wiki
