A \/ B in Fin (PFuncs (V,C)) ;
hence A \/ B is Element of Fin (PFuncs (V,C)) ; :: thesis: verum