Semihypergroup theory. (2016)