emily bennett

@seaintheeyes

The term minimal element is defined dually. It is a weaker notion than greatest element and least element, and there may be many maximal and minimal elements.