User:Dfeuer/Group Inverse Reverses Ordering in Ordered Group