theorem :: CLOSURE2:26

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