Theo tôi thì đây không phải là bài toán mở.
Tuy nhiên tôi chưa tìm được chứng minh.
Trong các bài toán liên quan đến lực lượng tập hợp, định lý Cantor-Bernstein-Schroeder sau sẽ rất có ích: Nếu tồn tại đơn ánh f: A --> B và đơn ánh g: B --> A thì |A| = |B|.
http://en.wikipedia.org/wiki/Cantor%...roeder_theorem Các bạn bắt đầu làm quen với lý thuyết này có thể xem file đính kèm để hiểu thêm.
http://www.cs.cmu.edu/afs/cs.cmu.edu....../cantor.ppt
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]