可逆的半群