:: deftheorem Def6 defines zeroed LATTICE5:def 6 :
for A being non empty set
for L being lower-bounded LATTICE
for f being BiFunction of A,L holds
( f is zeroed iff for x being Element of A holds f . (x,x) = Bottom L );