Noun
pronilfactor (plural pronilfactors) (mathematics) An ergodic nilspace X/R(X) such that there exists an element x of X and a homomorphism H such that (H,X) is a nilsystem.