記事は読みやすかったです。特に問題はありません。
空集合の話は難しいですね。 形式言語の集合には「空語」なるものも定義されていて、 未だに空集合と空語に関しては、集合についてあれこれ考える上で必要な要素だとしか理解できていません。 たぶん、厳密な違いも分かっていません…。