"dedekind" - key terms from Wikipedia