Eine geordnete Menge ${\displaystyle {}(I,\preccurlyeq )}$ heißt induktiv geordnet, wenn jede total geordnete Teilmenge ${\displaystyle {}J\subseteq I}$ eine obere Schranke in ${\displaystyle {}I}$ besitzt.