[判断]  字母表：是一个非空有穷集合。