Initial segment