theorem :: FINANCE3:23

for Omega being set st Omega = {1,2,3,4} holds
( {1} c= Omega & {2} c= Omega & {3} c= Omega & {4} c= Omega & {1,2} c= Omega & {3,4} c= Omega & {} c= Omega & Omega c= Omega )