theorem Th22: :: QUANTAL1:22

for Q being Girard-Quantale
for a being Element of Q holds Bottom (Bottom a) = a