https://definitionud.blogspot.com/2022/10/definition-of-binary-operation.html