Semihypergroups and S-hypersystems