positive element (ordered group)