خاصية شاملة

تُعرَّف الخاصية الشاملة في الرياضيات بأنها خاصية يختص بها كائن في فئة تجعله كائنا ممثلًا لمدلل ما (ذي تباين مشارك أو معاكس) بقيمة مجموعة، ويكون ذلك المدلل معرَّفًا في الفئة. وبتعبير آخر، دع $C\!$ فئة و $F\!\colon C\!\rightarrow S\!$ مدللًا (نتعامل هنا مع حالة التباين المشارك)، يكون العنصر الشامل من $F\!$ هو الزوج $(A\!,x)$ حيث $A\!$ كائن من $C\!$ و $x\in F\!(A\!)$ بحيث أنه لكل زوج مماثل $(B\!,y)$ توجد $f\colon A\!\rightarrow B\!$ وحيدة في $C\!$ تحقق $F\!(f)(x)=y$. إن التوافق بين $y$ و $f$ يعرِّف تساوي شكل طبيعيًّا بين $F\!$ والمدلل ${\text{Hom}}_{C\!}(A\!,-)$، ويُقال عن الكائن $A\!$ أنه كائن ممثِّل (أو تمثيل) لـ $F\!$، وخاصيته الشاملة هي حيازته للعنصر الشامل $x$.