ما معنى جبر سيغما؟

الجبر من النمط $\sigma$ على مجموعة $X$ هو عائلة $\mathcal A$ من الأجزاء تحتوي على $\varnothing$، وصامدة بالمتمم وبالاتحادات القابلة للعدّ (ومنه بالتقاطعات القابلة للعدّ وبفروق المجموعات، وتحتوي على $X$). ويُسمّى الزوج $(X, \mathcal A)$ فضاءً قابلًا للقياس؛ وتُسمّى عناصر $\mathcal A$ مجموعات قابلة للقياس. ومن أجل أي عائلة $\mathcal E$ من الأجزاء، يرمز $\sigma(\mathcal E)$ إلى أصغر جبر من النمط $\sigma$ يحتوي على $\mathcal E$ (وهو تقاطع جميعها — إذ إن تقاطع جبور من النمط $\sigma$ هو جبر كذلك).