三項演算子
数学における三項演算子(さんこうえんざんし、英: ternary operator)とは、3つの被演算子を持つ演算子のことである。
集合 A 上の三項演算は A の任意の元3つから A の元を1つ生成する。このような三項演算の例としてジョルダン三項積など三項系における三項積や、ヒープ(英語版)の積がある。