Loading paper
The separator of a subset of a semigroup | Tomesphere