ula_30在formula_9位置的导数为以下的函数极限若导数在所有位置都存在，称函数为可微分，可以再继续计算函数的高阶导数。也可以将函数依其微分分类来区分。分类formula_33包括所有连续函数，分类formula_34包括所有导数连续的可微函数，这类函数称为「连续可微」。分类formula_34是指其导数在分类formula_34中的函数。一般来说，分类formula_37可以用递归方式定义，定义方式是宣告分类formula_33是所有的连续函数，而分类"formula_37"（formul