Выдержка из книги
Артамонов В.А.
Общая алгебра. Т.2
Если S является подполугруппой в полугруппах Т и Т2, то всякий гомоморфизм Т в Т2, действующий тождественно на S, называется S-гомоморфизмом. Аналогично определяется понятие S-изоморфизма. Два расширения полугруппы S называют эквивалентными, если они S-изоморфны.
