theorem :: WAYBEL_7:43

for L being lower-bounded LATTICE
for R being auxiliary Relation of L holds
( R is multiplicative iff R -below is meet-preserving )