pub trait HasBottom { const BOTTOM: Self; }
A set that has a “bottom” element, which is less than or equal to any other element.