Jordan–Dedekind lattice