pub trait HasBottom { fn bottom() -> Self; }
A set that has a “bottom” element, which is less than or equal to any other element.