函数依其微分分类来区分。分类formula_33包括所有连续函数，分类formula_34包括所有导数连续的可微函数，这类函数称为「连续可微」。分类formula_34是指其导数在分类formula_34中的函数。一般来说，分类formula_37可以用递归方式定义，定义方式是宣告分类formula_33是所有的连续函数，而分类"formula_37"（formula_40为正整数）是所有可微，而且其导数为formula_41的函数。而分类"formula_37"包括在分类formula_41中，对所有的正