Author:
Completions of semigroup acts are constructed from Prostak families of subsets, and embedding into such a completion is studied.