theorem :: MBOOLEAN:19

for I being set
for A, B being ManySortedSet of I holds (Funcs) (A,B) c= bool [|A,B|]