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