for i = 1 to n /* инвариант: элементы x[0..i-1] - уже отсортированы */ /* ставим x[i] в правильную позицию */ insert x[i] in x[0..i-1]