theorem Th6: :: HEYTING2:6

for V being set
for C being finite set
for A being Element of Fin (PFuncs (V,C)) holds Involved A c= V