column value
英文名稱 theorem on regular set
中文名稱 正則集定理