for I, J being set
for m being bag of I holds m | J divides m