let e be an event with O'-coordinat

let e be an event with O'-coordinates

ผลลัพธ์ (ไทย) 1:

ให้ e เป็นเหตุการณ์กับโอพิกัด

ผลลัพธ์ (ไทย) 2:

ให้อีจะเป็นเหตุการณ์ที่มีโอพิกัด

ผลลัพธ์ (ไทย) 3:

ให้ E เป็นเหตุการณ์กับ O ' - พิกัด