[일반] 선대 증명 질문)

[롱기누스(popiuuu)]

정리 6.11 - (1)번 증명에서

T* + U* = (T + U)*는 증명했는데 (T + U)*가 실제로 T + U의 수반연산자가 맞는지도 확인해야하나요?

[익명(116.36)]

정의를 저렇게 했는데 확인을 왜함

[롱기누스(popiuuu)]

그른가?