Partially ordered group
ID: partially-ordered-group
A **partially ordered group** (POG) is an algebraic structure that combines the concepts of a group and a partial order. Formally, a group \( G \) is equipped with a binary operation (usually denoted as multiplication or addition) and satisfies the group properties—closure, associativity, existence of an identity element, and existence of inverses.
New to topics? Read the docs here!