Classe Non Relevable

Un élément, une classe de cohomologie, une représentation ou un autre invariant qui n'appartient pas à l'image d'une application ou d'un foncteur de relèvement spécifié ; il signale l'échec à relever un objet depuis une catégorie ou base cible vers une source (par exemple de caractéristique p vers caractéristique zéro, ou d'un quotient vers l'objet complet).