[267]Suppose that \(β€\) is a (possibly partial) order relation on \(β\) satisfying [26H]βΊβ» then \(β€\) is unique.
[270]βΊβ»