Un ensemble partiellement ordonné
E est dit
inductif quand il satisfait les hypothèses du
lemme de Zorn, à savoir que toute partie totalement ordonnée (ou
chaîne) de
E admet un
majorant. Il existe des variantes du lemme de Zorn, et par là de la définition d'ensemble inductif, qui peut, par exemple, parfois désigner un ensemble non vide partiellement ordonné dont toute chaîne non vide admet une
borne supérieure.