A tree as a finite nonempty set with a binary operation
A (finite) acyclic connected graph is called a tree. Let be a finite nonempty set, and let be the set of all trees with the property that is the vertex set of . We will find a one-to-one correspondence between and the set of all binary operations on which satisfy a certain set of three axioms (stated in this note).