Basic Properties of Bi-Ordered Groups

Last updated Nov 1, 2022

Here we list some basic properties of Bi-Ordered Group. Let $(G, \leq)$ be a Bi-Ordered Group.

1. $\forall g,h,g’,h’ \in G$, $g \leq g’ \wedge h \leq g’ \Rightarrow gh \leq g’h'$
2. TODO

1. $gh \leq g’h \leq g’h’$ $\checkmark$