for I being set
for A being ManySortedSet of I holds
( A is V39() iff bool A is V39() )