Category:Lexicographically Ordered Pair of Ordered Semigroups with Cancellable Elements