分划
It is more symmetrical to use the ("A", "B") notation for Dedekind cuts, but each of "A" and "B" does determine the other. It can be a simplification, in terms of notation if nothing more, to concentrate on one "half" — say, the lower one — and call any downward closed set "A" without greatest element a "Dedekind cut".