Một chuỗi ~a~ được gọi là có thứ tự từ điển nhỏ hơn chuỗi ~b~ khi và chỉ khi tồn tại chỉ số ~k~ sao cho ~a_1 = b_1, a_2 = b_2, ..., a_{k-1} = b_{k-1}~ và ~a_k < b_k~

Ví dụ: abc có thứ tự từ điển nhỏ hơn abd, abc có thứ tự từ điển nhỏ hơn abcd, abc có thứ tự từ điển nhỏ hơn b.