The notion of a square system is introduced and investigated - it is based on a quaternary relation satisfying certain symmetry conditions. The theory of square systems provides a unifying framework for studying decompositions of systems based on hierarchical families of subsets - hence for tree-like decompositions.
['A. Ehrenfeucht', 'Grzegorz Rozenberg']
Square systems