笛卡尔乘积

不封闭

有序对(x,y)

n元组

克林闭包=空集+正闭包

正闭包

乔姆斯基

语言，字母表

有穷集合的基数（元素个数）