拡張不等式

一般の不等号では「複素数において大・小関係が論じられない」のであるが、拡張不等式（かくちょうふとうしき、extended inequality）は、不等式の概念をより一般の代数に適用できるように拡張したものである。ここでは、Rを単位元1を持つ環、Pをそのポジティブ集合とする。