can be formally defined by a binary

can be formally defined by a binary relation

Kết quả (Việt) 1:

có thể được chính thức được xác định bởi một mối quan hệ nhị phân

Kết quả (Việt) 2:

có thể được định nghĩa chính thức bởi một mối quan hệ nhị phân