Tolong jelaskan mengenai Dalam pembuktian dari Tembereng garis dalam bahasa melayu

Dalam sebuah perlakuan aksiomatis geometri, gagasan keantaraan dianggap memenuhi sejumlah tertentu aksioma, atau jika tidak demikian maka didefinisikan dalam suku-suku isometri sebuah garis (digunakan sebagai sebuah sistem koordinat).

Tembereng memainkan peranan penting dalam teori-teori lainnya. Tamsilnya, himpunan dikatakan konveks jika ruas yang menghubungkan sebarang dua titik suatu himpunan adalah termuat dalam himpunan itu. Hal ini penting kerana ruas mengubah beberapa analisis himpunan konveks kepada analisis tembereng garis.