戴德金格

Dedekind lattice