Category:Union of Initial Segments is Initial Segment or All of Woset