theorem :: CLOSURE1:12

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