L Torkzadeh, A Ahadpanah - Mathematical Logic Quarterly, 2010 - Wiley Online Library
… Definition 2.5 [1] Let H be a non-empty set and “◦” be a hyper operation on H. Then H is called
a hyper K-algebra if it contains a constant “0” and satisfies the following axioms for all x, y, …