In the second line of the claim $4.2$ from Shelah's book Proper&Improper forcing, please what is $\lhd$ ? I cannot find the definition of this order in previous sections of the book.
I believe that this is an initial segment of a sequence is that correct ?
