分型集合的基本模型,为初学者提供了分型模型的直观感受。