Hyper equality ideals: Basic properties

In this paper, the concept of (strong) hyper equality ideals in bounded hyper equality algebras are introduced and several properties and related results are given. Also, the properties of hyper equality ideals of the direct product of bounded hyper equality algebras are investigated; we prove that any (strong) hyper equality ideal of the direct product of hyper equality algebras is representable with respect to the product of (strong) hyper equality ideals of any direct component. In the sequel, we investigate the relationships between hyper equality ideals and hyper deductive systems in good bounded hyper equality algebras. Furthermore, we show how one can construct a hyper congruence relation via a strong hyper equality ideal so that the congruence classes form a hyper equality algebra.