> On Sep 10, 2024, at 15:57, Laurenz Albe <laurenz.albe@cybertec.at> wrote:
> So the upper limit of the first partition is strictly bigger than the lower end
> of the second partition.
>
> "record" types have the same lexicographical sorting order as ORDER BY clauses.
Ah, OK, got it. I was thinking of them as a points on a plane, which was misleading. Thanks!