The theory of constructive semigroups with apartness is a new approach tosemigroup theory, and not a new class of semigroups. Of course, our work is partly inspired byclassical semigroup theory, but, on the other hand, it is distinguished from it by two signicantaspects: rst, we use intuitionistic logic rather than classical, secondly, our work is based onthe notion of apartness (between elements, elements and sets). Here, the focus is on E. Bishop'sapproach to constructive mathematics (BISH)