lát cắt dedekind;

Lát cắt dedekind là khái niệm dùng để định nghĩa số vô tỉ. Một lát cắt là một phân hoạch tập hợp tất cả các số hữu tỉ thành hai lớp: lớp "trên" và lớp "dưới" sao cho mọi số ở lớp "trên" lớn hơn mọi số ở lớp "dưới"; trong lớp "dưới" không có số lớn nhất, trong lớp "trên" không có số bé nhất. Tiên đề Dedekind phát biểu rằng giữa hai lớp của một lát cắt có một "số" duy nhất lớn hơn mọi số của lớp "dưới" và nhỏ hơn mọi số của lớp "trên". "Số" đó gọi là số vô tỉ.

.

Boo Seungkwan đã hủy hoại anh. Hansol nhận thức rõ ràng được điều đó, nhưng anh không thể làm gì khác ngoại trừ đứng yên nhìn trái bóng từ mũi giày cậu vút một đường cong rất đẹp, đi thẳng vào khung thành, đập tan nát những mẩu hy vọng cuối cùng của chính mình. Chân anh tê cứng, và trong một phần giây, Hansol đã nghĩ có lẽ mình vừa mất đi khả năng di chuyển, vì mọi thớ cơ của anh không còn đáp lại tiếng thét gào của bộ não nữa. Anh muốn tiến lên. Anh muốn làm gì đó. Nhưng anh biết đã muộn mất rồi. 

Tai Hansol ù đi, anh thấy mình như đang bị tiếng vỡ òa phía khán đài đội đối thủ nuốt chửng. Thậm chí tiếng còi báo trận đấu kết thúc lúc này đối với anh cũng chỉ là một thứ âm thanh lạ lùng ở nơi nào đó rất xa. Những bóng lưng mặc áo xanh đổ gục xuống sân cỏ ướt sũng nước mưa, nhưng không một ai còn đủ sức để bận tâm điều đó nữa. Giữa vô vàn tiếng reo hò ồn ã tưởng chừng muốn làm anh nổ tung, thế giới trước mắt Hansol chỉ còn lại lặng thinh vô nghĩa. Anh quét mắt về phía bên kia sân đấu, chỉ để thấy Boo Seungkwan cũng đang hướng về phía mình, và nụ cười - nụ cười mỉa mai rất khẽ vừa sượt qua trên môi cậu - khiến anh bất giác hít vào một hơi thật sâu, đến mức lồng ngực anh nhói lên.