for X being set holds X --> 0 is bag of X