出典:Wikipedia
出典:『Wikipedia』 (2011/03/23 00:48 UTC 版)
In abstract algebra, a partially-ordered group is a group (G,+) equipped with a partial order "≤" that is translation-invariant; in other words, "≤" has the property that, for all a, b, and g in G, if a ≤ b then a+g ≤ b+g and g+a ≤ g+b.