Definition:Inductive Ordered Set

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

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