for A, B being set
for R being Subset of [:A,B:] holds rng (.: ) c= bool (rng R)