theorem Th10: :: INT_7:10

for X being set
for b1, b2 being bag of X holds support (min (b1,b2)) = (support b1) /\ (support b2)