for X being set holds Bottom (BoolePoset X) = {}