theorem Th4: :: LATTICE2:4

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