પ્રથમ, આપણે વિચારણા કરીશું કે સેટ અને તેના પૂરક બંને સિગ્મા-બીજગણિતના તત્વો શા માટે હોવા જોઈએ.