> On Sep 10, 2024, at 15:57, Laurenz Albe <laurenz.albe@xxxxxxxxxxx> 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!