Definition:Weak Initial Segment