Mathematical Structure of Syntactic Merge