[nooonuii]

ผมว่าคงเป็นการเน้นครับว่าเซตที่ว่าไม่เป็นเซตว่าง
เพื่อป้องกันกรณีที่มีคนอุตริตีความว่าเซตว่างเป็น semigroup เป็นต้น
อีกทางนึงที่ผมคิดว่าเป็นไปได้คือเซต $\mu_{\alpha}$
อาจจะมีการสร้างขึ้นมาด้วยวิธีการบางอย่าง
ซึ่งอาจจะพิสูจน์ได้ไม่ยากว่าเซตดังกล่าวไม่เป็นเซตว่าง
จึงกล่าวอ้างขึ้นมาโดยไม่ได้พิสูจน์ให้เห็น
ถ้าเป็นไปได้อยากเห็นข้อความมากกว่านี้ครับ