Полугруппа с двусторонним сокращением