Definition:Initial Segment (Class Theory)