Appending a far record to an $\varepsilon$-safe word: safe iff the record is $\prec_\varepsilon$-below every earlier letter

Initializing...

Appending a far record to an $\varepsilon$-safe word: safe iff the record is $\prec_\varepsilon$-below every earlier letter · Prove2Me