• f is a function from A onto B iff

• f is a function from A onto B iff f(A) = B,
• f is a function from A into B iff f(A) ∴ B, (note the proper subset here!)
• f is a one-to-one function from A to B iff, for all ai , aj ∈ A, ai ≠ aj ⇒ f( ai ) ≠ f(aj).

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

• f là một hàm từ A vào B iff f(A) = B, • f là một hàm từ A vào B iff f(A) ∴ B, (lưu ý tập hợp con thích hợp ở đây!) • f là một hàm-một từ A đến B iff, cho tất cả ai, aj ∈ A, ai ≠ aj ⇒ f (ai) ≠ f(aj).

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

• f là một hàm từ A sang B khi và chỉ khi f (A) = B,
• f là một hàm từ A sang B khi và chỉ khi f (A) ∴ B, (lưu ý các tập con thích ở đây!)
• f là một one-to- một chức năng từ A đến B iff, cho tất cả ai, aj ∈ A, ai ≠ aj ⇒ f (ai) ≠ f (aj).