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