Mobs and semitrees

摘要

In (1957) Ward characterized trees as being certain compact idempotent commutative monotone mobs. The purpose of the present note is to obtain a similar characterization for the semitrees as studied by Muenzenberger and Smithson (1973, 1975).