theorem :: CLOSURE2:27

for I being set
for A being ManySortedSet of I holds id (Bool A) is monotonic SetOp of A