プログラミング言語やデータベースの検索などで用いられる条件指定のための論理式。

数値の大小、文字列の一致・不一致を判断する演算子で構成される。

条件分岐（conditional branch）