Ensemble inductif

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.