Bài toán phái sinh

giới hạn (thu hẹp)

Ở bậc phân lớp thứ [i], ta có tập hợp X₁ = {x₁, x₂,…, x_n}, x_i là một phần tử bất kỳ thuộc X₁.

Tăng lên bậc phân lớp thứ [j], ta có tập hợp X₂ = {x₁, x₂,…, x_m}, x_i là một phần tử bất kỳ thuộc X₂.

n < m với ∀ n, m;

tức là: khi ta tăng bậc phân lớp (phân lớp sâu hơn) thì n nhỏ đi. Tương đương, thu hẹp (giới hạn) tập hợp

tương đương mở rộng

Ở bậc phân lớp thứ [i], ta có:

tập hợp X = {x₁, x₂,…, x_n}, x_i là một phần tử bất kỳ thuộc X.

mỗi x_i thuộc X có hệ thuộc tính là tập: A = {a₁, a₂, …, a_n}

Và tập hợp Y = {y₁, y₂,…, y_m}, y_i là một phần tử bất kỳ thuộc Y.

mỗi y_i thuộc Y có hệ thuộc tính là tập: B = {b₁, b₂, …, b_n}

A tương đương B: (a_i,b_i) tương đương với nhau từng đôi một với gần mọi i;

khi đó, xi khớp yi