Let A=(A,⋅) be a semigroup. We generalize some recent results by G. A. Freiman, M. Herzog and coauthors on the structure theory of set addition from the context of linearly orderable groups to linearly orderable semigroups, where we say that A is linearly orderable if there exists a total order ≤ on A such that xz<yz
Nearby in the stack
and
zx<zy
for all
x,y,z∈A
with
x<y
. In particular, we find that if
S
is a finite subset of
A
generating a non-abelian subsemigroup of
A
, then
∣S2∣≥3∣S∣−2
. On the road to this goal, we also prove a number of subsidiary results, and most notably that for