Let $$X$$ be a partially ordered set, and let $$Y$$ be a totally ordered subset of $$X$$. We say that $$Y$$ is well-ordered iff [...].