theorem :: LATTICE2:8

for A being set
for C being non empty set
for f, g being Function of A,C
for B being Element of Fin A holds (g | B) +* f = f