Bài 3
Xét hình tròn trong mặt phẳng sao cho với mọi , tâm của nằm trên đường tròn của , và tâm của nằm trên đường tròn của . Định nghĩa điểm là số cặp sao cho chứa thực sự . Tìm điểm lớn nhất có thể.
Bước 1 trên 6: Mã hóa quan hệ chứa bằng cặp có thứ tự
Phân tích chi tiết
Gọi là tập các cặp có thứ tự sao cho chứa thực sự . Quan hệ chứa thực sự phản xạ không và bắc cầu; hai hình tròn không thể chứa thực sự nhau theo cả hai hướng.