Thick sets are exactly the sets with Følner density 1

Følner density is a very natural notion of density which is defined on any semigroup satisfying the Strong Følner Condition (SFC). (These include all commutative semigroups and all left cancellative left amenable semigroups.) Piecewise syndetic and thick are notions of largeness arising from topological dynamics. It has been known that if S satisfies SFC and is either left cancellative or satisfies a weak right cancellation requirement, then every thick subset has density 1. We show here that in any semigroup S satisfying SFC a subset of S is thick if and only if it has density 1. As a consequence, every piecewise syndetic set has positive density.