theorem :: CLOSURE1:15

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