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