an element of a partially ordered set that is not the minimum, and such that there is no element between it and the minimum