A subset of a Linear order set is an initial segment of if For , we write . This is an initial segment. It is also proper as so