:: deftheorem defines Intersection PROB_1:def 3 :
for X being set
for A1 being SetSequence of X holds Intersection A1 = (Union (Complement A1)) ` ;