Definition:Inductive Ordered Set

Definition
An inductive ordered set is an ordered set in which every chain has an upper bound.

Also known as
An inductive ordered set can also be called chain complete.