[nooonuii]

well-defined ก็เห็นได้ชัดครับ

ถ้า $\tau=\pi$ restriction ของทั้งสองตัวก็ต้องเท่ากันด้วย

ส่วน homomorphism ยังดูกำกวมไปครับ

$\phi(x\circ y)=(x\circ y)^*$

$\phi(x)\phi(y)=x^*\circ y^*$

ต้องพิสูจน์ว่า $(x\circ y)^*=x^*\circ y^*$ ครับ