:: deftheorem defines Special_SigmaField1 FINANCE3:def 6 :
Special_SigmaField1 = {{},{1,2,3,4}};