starke Jordan-Dedekind-Bedingung, folgende verschärfte Form der Jordan-Dedekind-Bedingung.

Sei P_< eine lokal-endliche Ordnung mit Rangfunktion r. Ein Intervall [x, y] ist ein (m, n)-Intervall, falls r(x) = m und r(y) = n. P erfüllt die starke JD-Bedingung, falls alle (m, n)-Intervalle dieselbe Anzahl c(m, n) von maximalen Ketten besitzen.