for V, C being set holds PFuncs (V,C) c= bool [:V,C:]