[298]Hence this relation β\(\le \)β defined in [288]βΊβ» satisfies the principle [26H]βΊβ»; we will show that any such ordering is a well order; here we present though a self contained proof for this specific case.
