Dedekind-like

