خاصية شاملة في نظرية الفئات هي خاصية لمدلل F: C → S تُمثل بزوج (A,x) حيث A كائن في C وx∈F(A) بحيث لكل زوج (B,y) يوجد، وبشكل وحيد، سهم f: A→B في C مع F(f)(x)=y، فيعرف بذلك تمثيل F وأن A كائن ممثل وخاصيته الشاملة هي امتلاك x.

سبحان الله