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