关系运算子在计算机科学的编程语言中，是测试或定义两个实体之间某种关系的构造或操作符。这些包括数值等式和不等式（例如 5 = 5 和 4≥3）。在具备布尔型别的编程语言中（如 Pascal，Ada 或 Java），这些运算符通常根据两个操作变量之间的条件关系是否成立，判定为真或假。诸如 C 语言中关系运算子返回整数 0 或 1，其中 0 表示假，任何非零值表示真。使用关系运算子创建的表达式，形成所谓的关系表达式或条件。 关系运算子可以被视为谓词逻辑的特殊情况。在许多编程语言构造和资料型别中都使用到相等性，它用于测试元素是否已存在于集合中，或者借由键来存取值。它在切换（switch）语句，以及编程的逻辑并联过程中，用于将控制流调度到正确的分支。相等性的可能含义之一是“如果 a 等于 b，那么我们可以在任何上下文中互换 a 或 b，而不会产生任何差异。但这样的声明不一定成立，尤其在可变性和内容等同性一起考虑时。