theorem Th33: :: WAYBEL_6:33

for L being upper-bounded LATTICE
for f being Function of L,(BoolePoset {{}})
for p being prime Element of L st chi (((downarrow p) `), the carrier of L) = f holds
( f is meet-preserving & f is join-preserving )