Для доказательства (5.3) необходимо

Для доказательства (5.3) необходимо показать, что Г(А)⊆Г(В) при условии А ⊆ В. (5.11) Используя (5.2), перейдем к доказательству выражения рr2(A×Y)∩F ⊆ рr2(B×Y)∩F (5.12) при том же условии.

Kết quả (Việt) 1:

Để chứng minh (5,3) là cần thiết để hiển thị rằng g (s) ⊆ g (b) cung cấp một ⊆ sinh (5.11) (5.2), chuyển sang biểu hiện bằng chứng rr2 (một × Y) ∩ F ⊆ rr2 (B x Y) ∩ F (5.12) theo các điều kiện tương tự.

Kết quả (Việt) 2:

Để chứng minh (5.3), nó là cần thiết để cho thấy rằng T (A) ⊆G (B) cung cấp A ⊆ B. (5.11) Sử dụng (5.2), tiến tới Pr2 biểu hiện bằng chứng (A × Y) ∩F ⊆ Pr2 (B × Y ) ∩F (5.12) trong điều kiện tương tự.