Note that what Rudin and Enderton call a Dedekind cut, Richman calls a "nonprincipal Dedekind cut".
Rudin と Enderton が『デデキント切断』と呼ぶものを Richman は『nonprincipal なデデキント切断』と呼ぶことに注意。