:: deftheorem defines Special_SigmaField2 FINANCE3:def 7 :
Special_SigmaField2 = {{},{1,2},{3,4},{1,2,3,4}};