The set X of IJ which will be in position IJ, and I is equal to or less than J is intended to be the set of variables A that derive the sub string in the input starting in the position I and ending the position J. That's, that is this. 