Jordan–Dedekind chain condition