5بعد بعض التعريفات، يكون التعريف بشكل أساسي [MS06, Def. 11.2.3]، في الحالة G = ∗. يمكن العثور على المعالجة النظرية للفئة ∞المقابلة في [Jo08, Sec. 35.5].