Статья посвящена исследованию алгебраических свойств бинарных деревьев в рамках разработанной автором аксиоматической теории. В работе выявлены и описаны некоторые алгебраические особенности множества бинарных деревьев, сформулированы и доказаны две теоремы о структурных свойствах бинарных деревьев; описан алгоритм, позволяющий сгенерировать множества бинарных деревьев заданного свойства.