ファセット制約

【ふぁせっとせいやく (facet constraint)】

$P\,$ を$d\,$次元凸多面とする. 任意の ${\boldsymbol {x}}\in P\,$ に対して 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{ax} \leq b\,} が成り立つとき, $F=P\cap \{{\boldsymbol {x}}\in {\mathbf {R} }^{d}\mid {\boldsymbol {ax}}=b\}\,$ を $P\,$のフェイス (face) という. フェイス $F\,$ の次元が構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle P\,} の次元より丁度1小さいとき, $F\,$をファセット (facet) と呼び, ファセット $F\,$ を定義する不等式を, ファセット制約という.