17:2617:26, 28 August 2023diffhist+5
Magma (algebra)
→Free magma: Added adjective "full" to binary tree. 'Binary tree' sometimes means tree where each node has at most 2 children; these correspond to free *unital* magmas. A full binary tree has exactly 0 or 2 children and corresponds to magmas simpliciter.