theorem :: FINANCE3:14

for MySigmaField, A1, A2 being set st MySigmaField = {{},{1,2,3,4}} & A1 in MySigmaField & A2 in MySigmaField holds
A1 /\ A2 in MySigmaField