for I being set
for m, n being bag of I holds
( m -' n <> EmptyBag I or m = n or n -' m <> EmptyBag I )