theorem Th12: :: VECTSP_8:12

for F being Field
for A, B being strict VectSp of F
for f being Function of A,B st f is additive & f is homogeneous holds
FuncLatt f is sup-Semilattice-Homomorphism of (lattice A),(lattice B)