Definition Every non-empty Partially Ordered Set in which every chain has an upper bound contains at least one Maximum