On the completeness of ordered sets

摘要

In this work, we introduce a density property in ordered sets that is weaker than theorder density. Then, we prove a strong version of a result proved by B¨uber and Kirk, which is aspecial case of the Brouwer Reduction Theorem, in metric spaces relating completeness and densityof ordered sets.