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