Observe that F is well defined since (*) implies f (x) = g (x) if x ∈ A∩B. ? Obviously the reasoning of Theorem 1.1 can be extended to a collection of finite sets.
Quan sát rằng F là cũng được định nghĩa từ (*) ngụ ý f (x) = g (x) nếu x ∈ A∩B. ?Rõ ràng là lý luận của định lý 1.1 có thể mở rộng đến một bộ sưu tậpbộ hữu hạn.
Quan sát rằng F cũng được xác định từ (*) suy f (x) = g (x) nếu x ∈ A∩B. ? Rõ ràng là các lý luận của định lý 1.1 có thể được mở rộng đến một bộ sưu tập các tập hữu hạn.