Definition:Strict Initial Segment