theorem :: CLOSURE1:13

for I being set
for A being ManySortedSet of I holds id (bool A) is monotonic MSSetOp of A