User blog comment:Kite in rainbow/A weak and clear version of my Bracket-Comma notation ver2,it reaches Γ(0)/@comment-5529393-20160120132153/@comment-5529393-20160120134836

A couple of questions. I don't understand

Y(i+1)=Y(i),[m+i>>X(n)]X([i+1,n-1])

Also, in the line

For any i belongs to N we have Y(i) is LBS.

are you declaring that the Y(i) now belong to LBS, or are you saying that "Y(i) in LBS" is a condition for X to be in LBS?