El "cociente de Herbrand" es un tipo de característica de Euler, utilizada en álgebra homológica.