theorem :: YELLOW_1:18

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