theorem Th44: :: BAGORD_2:42

for I, J being set
for m being bag of I holds support (m | J) = J /\ (support m)