Chứng minh rằng tập hợp X cùng với phép toán T  là một nửa nhóm

Giả sử X là một tập hợp khác rỗng. Xét phép toán T được định nghĩa như sau:
T:(x,y)↦x∀x,y∈X

Chứng minh rằng tập hợp X cùng với phép toán T  là một nửa nhóm.