演算子
二つの被演算子の関係を示す記号のことを関係子という。関係子を、二つの被演算子の関係が真であるか偽であるかを判定する演算を表す演算子とみなすとき、関係演算子という。数理論理学では、関係演算は二つの数式から真理値(ブール値)を得る演算とみなされる。関係演算子もその多くが二項演算子として機能することから中置記法で記されることが多い。
等号 "=", 不等号 "<", ">", "≤", "≥", "≠", 平行記号 "∥", 垂直記号 "⊥" などが関係演算子である。