Comment by postoplust

That's also the definition given in the article, attributed to Richard Dedekind.