theorem Th8: :: SUBSTLAT:8

for V, C being set
for A being Element of Fin (PFuncs (V,C)) holds mi A c= A by Th6;