A là một tập con của B, AB bằng văn

A là một tập con của B, AB bằng văn bản, nếu và chỉ nếu (iff) a ∈ A ⇒ a ∈ B,

A là một tập con của B thích hợp, viết A ∴ B, khi và chỉ khi AB ⊥ B - A ≠ Ø,

A và B là tập hợp bằng nhau, viết A = B, khi và chỉ khi AB ⊥ B A.

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

Một là một tổ con của B, AB bằng văn bản, nếu và chỉ nếu (iff) một ∈ A ⇒ một ∈ B,Một là một tổ con của B thích hợp, Matrix A ∴ B, khi và chỉ khi AB ⊥ B - A ≠ Ø,A và B là tổ hợp bằng nội, Matrix A = B, khi và chỉ khi AB ⊥ B A.

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

Một is one file con of B, AB bằng văn bản, if and only if (iff) a ∈ A ⇒ a ∈ B, A is one file con of B thích hợp, viết A ∴ B, while and only when the AB ⊥ B - A ≠ Ø, A and B is tập hợp bằng nhau, viết A = B, while and only when the AB ⊥ B A.