Definition:Inductive Ordered Set

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

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