8.1半群 定义8.4：（1)设<S,*>为一半群，若TS,*在T 中封闭，则<T,>称为子半群；(2)设<S,*,e>为一 独异点，若TsS,*在T中封闭，且幺元e∈T, 则<T,米，e>称为子独异点。 6/736/73 8.1 半群 •定义8.4：(1)设<S,*>为一半群，若 ， *在T 中封闭，则<T,*>称为子半群；(2)设<S,*,e>为一 独异点，若 ， *在T中封闭，且幺元 ， 则<T,*,e>称为子独异点。 T  S T  S eT