Người ta coi mỗi hình là một tập hợp điểm. Nếu P và Q là hai điểm phân biệt đã cho thì tập
Giải thích
Điểm X là điểm nằm khác phía với Q đối với P nên tia PX và PQ là hai tia đối nhau.
G = {X| X là điểm P, hoặc X là điểm nằm khác phía với Q đối với P} nên tập hợp G gồm điểm thuộc điểm gốc P hoặc các điểm cùng nằm về một phía.
Do đó, tập hợp G là tia đối của tia PQ.
Ta có hình vẽ:
