In school, we talked about “Dedekind cuts” but we never formalized the definition. Kind of disappointed now because your explanation is very simple and elegant.