Laterally commutative heaps and TST-spaces.
A laterally commutative heap can be defined on a given set iff there is the structure of a TST-space on this set.
A laterally commutative heap can be defined on a given set iff there is the structure of a TST-space on this set.