for V, C being set st V is finite & C is finite holds
PFuncs (V,C) is finite