Definition:Inductive Ordered Set

From ProofWiki
Jump to navigation Jump to search

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.


Sources