若图册𝓐中任意一对坐标卡为Ck兼容的,即∀(U,x),(V,y)∈𝓐,y∘x-1:x(U⋂V)→ℝn为Ck类
微分映射,则称𝓐为CK类微分图册。若𝓐为C∞类微分图册,则称𝓐为光滑图册。
若对于任意∀α∈𝓐与β∈𝓐',映射ψβ·φα-1为与φα·ψβ-1均为CK类微分映射,则可定义图册{Uα,φα}α∈𝓐与{Vβ,ψβ}β∈𝓐'之间的等价关系。则M上的图册的一个等价类为极大微分图册。
设π:E→B为
坐标丛,G为其
结构群,F为其典型纤维,若E的连续图册𝓐={π-1(Uα),(π,φα)}α∈A满足(π,φα):π-1(Uα)→Uα×F为
同胚,便称(π,φα)为丛坐标卡,𝓐为丛图册。