Dedekind cut in Polish

(mathematics) Any partition of the set of rational numbers into non-empty sets A and B such that all elements of A are less than all elements of B and A contains no greatest element; intended as a construction of a real number.