partially ordered set such that, for any element, the subset of elements less than it is well-ordered