Presentation of a semigroup