for n being Ordinal
for p, q being bag of n holds
( p <=' q or q <=' p )