theorem Th108: :: PBOOLE:108

for I being set
for X, Y being ManySortedSet of I holds Y misses X (\) Y