theorem Th13: :: YELLOW_1:13

for X being non empty set st {} in X holds
Bottom (InclPoset X) = {}