Quan hệ thứ tự là một quan hệ 2 ngôi và có các tính chất.

Tập A - B (hiệu của A và B) là tập hợp các phần tử thuộc A nhưng không thuộc B. Trong trường hợp này, A = {a, b, c, e} và B = {c, d, f, g}.

Phần tử 'a' thuộc A và không thuộc B.
Phần tử 'b' thuộc A và không thuộc B.
Phần tử 'c' thuộc A và thuộc B, nên không thuộc A - B.
Phần tử 'e' thuộc A và không thuộc B.

Vậy, A - B = {a, b, e}.

Hoán vị kế tiếp của một hoán vị được tìm bằng cách:
1. Tìm từ phải sang trái vị trí i đầu tiên mà a[i] < a[i+1]. Nếu không tồn tại, đây là hoán vị cuối cùng.
2. Tìm từ phải sang trái vị trí j đầu tiên mà a[j] > a[i].
3. Đổi chỗ a[i] và a[j].
4. Đảo ngược đoạn từ i+1 đến cuối mảng.

Trong trường hợp này, hoán vị hiện tại là 2 1 3 4 5 6 7 8 9.

Bước 1: Tìm từ phải sang trái, vị trí i đầu tiên mà a[i] < a[i+1]. Ta thấy vị trí i = 2 (với a[2] = 1) thỏa mãn điều kiện (vì 1 < 3).
Bước 2: Tìm từ phải sang trái, vị trí j đầu tiên mà a[j] > a[i] (tức là a[j] > 1). Ta thấy vị trí j = 3 (với a[3] = 3) thỏa mãn điều kiện.
Bước 3: Đổi chỗ a[i] và a[j], tức là đổi chỗ 1 và 3. Hoán vị trở thành: 2 3 1 4 5 6 7 8 9.
Bước 4: Đảo ngược đoạn từ i+1 đến cuối mảng, tức là đảo ngược đoạn từ vị trí 3 đến vị trí 9 (1 4 5 6 7 8 9). Vì đoạn này đã sắp xếp tăng dần, sau khi đảo ngược sẽ thành giảm dần. Tuy nhiên, trong trường hợp này ta không cần đảo ngược gì cả vì đoạn sau vị trí i+1 (tức vị trí 3) đã được sắp xếp tăng dần.

Vậy hoán vị kế tiếp là 2 3 1 4 5 6 7 8 9.

Thuật toán đệ quy là một phương pháp giải quyết vấn đề bằng cách chia nhỏ bài toán lớn thành các bài toán con có cấu trúc tương tự, cho đến khi đạt được một bài toán cơ sở đủ đơn giản để giải trực tiếp. Quá trình này bao gồm việc gọi lại chính hàm đó với dữ liệu đầu vào nhỏ hơn hoặc đơn giản hơn. Đáp án C mô tả chính xác cách thức hoạt động của thuật toán đệ quy, trong đó bài toán ban đầu được rút gọn liên tiếp tới một bài toán tương tự nhưng có dữ liệu đầu vào nhỏ hơn.

Các phương án khác không mô tả chính xác bản chất của đệ quy:
- Phương án A đúng một phần, nhưng không nhấn mạnh việc bài toán con phải "giống như vậy".
- Phương án B và D đề cập đến việc chia đôi hoặc dữ liệu đầu vào bằng một nửa, đây là một trường hợp đặc biệt của đệ quy (ví dụ: tìm kiếm nhị phân) chứ không phải là định nghĩa tổng quát.

Nguyên lý Dirichlet (hay còn gọi là nguyên lý chuồng bồ câu) phát biểu rằng nếu có N đồ vật được đặt vào K hộp, thì sẽ tồn tại ít nhất một hộp chứa ít nhất [N/K] đồ vật, trong đó [x] là hàm ceiling (lấy số nguyên nhỏ nhất lớn hơn hoặc bằng x). Do đó, đáp án B là đáp án chính xác. Các đáp án còn lại là các công thức liên quan đến số phần tử của tập hợp, nhưng không phải là nguyên lý Dirichlet.