and let ∗ be a binary operation on

and let ∗ be a binary operation on X

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

และให้ ∗ เป็นการดำเนินการไบนารีบน X

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

งั้นก็ ∗ มันเป็นปฏิบัติการไบนารีบน X

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

และปล่อยให้∗เป็นการดําเนินการแบบไบนารีบน X