定式的基本型