A double semigroup is a set equipped with two associative binary operations satisfying the middle-four interchange law. A double inverse semigroup is a double semigroup in which both operations are inverse semigroup ...