أطلس تَفاضلي تام (atlas, c^\infty, complete)

أطلس تَفاضلي تام يُقال لأطلسٍ تفاضلي من بُعدٍ معيَّن على فئةٍ س إنَّه تام إذا كان لا يمكن توسيعه إلى أطلسٍ تفاضلي آخر من البُعد نفسه على الفئة س بإضافة خرائط جديدة مستقلة عنه .