Wiktionary
semiheap
n. (context mathematics English) A variety of heap that is required to satisfy only the para-associative law and need not obey the identity law.