it is clear that S and S-’ are part

it is clear that S and S-’ are partial functions from M into W and
from W into M respectively. Assume now that S is not a total function from M

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

nó là rõ ràng rằng S và S-' là một phần chức năng từ M vào W và từ W vào M tương ứng. Giả sử bây giờ rằng không phải là một chức năng tất cả từ M

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

rõ ràng là S và S 'là một phần chức năng từ M vào W và
từ W vào M tương ứng. Bây giờ giả sử rằng S không phải là một tổng hàm từ M