|
Додатно, Шаблон:Em је [[Пи-систем|Шаблон:Pi-систем]] где је сваки комплемент једнак коначној дисјунктној унији скупова у
Шаблон:Em је полупрстен где је сваки комплемент једнак коначној дисјунктној унији скупова у
су произвољни елементи из и претпоставља се да је
|