for I being set
for A, B being ManySortedSet of I holds bool (A (/\) B) = (bool A) (/\) (bool B)