theorem Th115: :: PBOOLE:115

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