# Inverse semigroup

From Groupprops

This is a variation of group|Find other variations of group | Read a survey article on varying group

This article defines a semigroup property: a property that can be evaluated to true/false for any given semigroup

View a complete list of semigroup properties

## Contents

## Definition

### Symbol-free definition

An **inverse semigroup** is a semigroup (i.e., a set with an associative binary operation) where every element has a unique inverse in the semigroup sense.

### Definition with symbols

A semigroup is termed an **inverse semigroup** if for every , there is a unique satisfying the conditions and .