Definition:Dedekind Cut/Also known as

Dedekind Cut: Also known as
A Dedekind cut is also known as a Dedekind section.

Some sources refer merely to a cut, but this is too ambiguous for.