Professional Documents
Culture Documents
Chapter 1 PDF
Chapter 1 PDF
HYPER BCI-ALGEBRA
RIZALYN S. BONGCAWEL
Researcher
GAUDENCIO C. PETALCORIN, JR., Ph.D.
Adviser
October 2, 2018
Definition 1
Let H be a nonempty set and P ∗ (H) be the set of all non-empty
subsets of H. A hyperoperation on H is a map from H × H into
P ∗ (H).
Definition 1
Let H be a nonempty set and P ∗ (H) be the set of all non-empty
subsets of H. A hyperoperation on H is a map from H × H into
P ∗ (H).
Definition 1
Let H be a nonempty set and P ∗ (H) be the set of all non-empty
subsets of H. A hyperoperation on H is a map from H × H into
P ∗ (H).
Definition 2
Let ~ be a hyperoperation on H and (x, y) ∈ H × H. Then its
image under ~, denoted by x ~ y, is called the hyperproduct of x
and y.
Definition 4
Define P (H) to be the power set of H and P ∗ (H) = P (H) \ {∅}.
A hyperoperation on a nonempty set H is a function
~ : H × H → P ∗ (H). The value (x, y) ∈ H × H under ~ is
defined by x ~ y. If x ∈ H and ∅ 6= A, B ⊆ H, then
Definition 4
Define P (H) to be the power set of H and P ∗ (H) = P (H) \ {∅}.
A hyperoperation on a nonempty set H is a function
~ : H × H → P ∗ (H). The value (x, y) ∈ H × H under ~ is
defined by x ~ y. If x ∈ H and ∅ 6= A, B ⊆ H, then
[
(i.) A ~ B = a ~ b;
a∈A,b∈B
Definition 4
Define P (H) to be the power set of H and P ∗ (H) = P (H) \ {∅}.
A hyperoperation on a nonempty set H is a function
~ : H × H → P ∗ (H). The value (x, y) ∈ H × H under ~ is
defined by x ~ y. If x ∈ H and ∅ 6= A, B ⊆ H, then
[
(i.) A ~ B = a ~ b;
a∈A,b∈B
(ii.) A ~ x = A ~ {x} and x ~ B = {x} ~ B.
Definition 7
Let I be a non-empty subset of a hyper BCI-algebra H. Then I is
said to be a hyper BCI-ideal of H if
Definition 7
Let I be a non-empty subset of a hyper BCI-algebra H. Then I is
said to be a hyper BCI-ideal of H if
(1.) 0 ∈ S
Definition 7
Let I be a non-empty subset of a hyper BCI-algebra H. Then I is
said to be a hyper BCI-ideal of H if
(1.) 0 ∈ S
Definition 7
Let I be a non-empty subset of a hyper BCI-algebra H. Then I is
said to be a hyper BCI-ideal of H if
(1.) 0 ∈ S
(2.) (x ~ y) I and y ∈ I imply x ∈ I , for all x, y ∈ X.
P (X) = {x [x]p ⊆ X}
Define a relation θ on H by
θ = {(0, 0), (0, 1), (1, 0), (1, 1), (2, 2), (3, 3)}
Choose x = 0 and y = 1.
i. (x ~ y)θ{0}
ii. (y ~ x)θ{0}
iii. (x ~ y)
(0 ~ 1) = {0, 1} ∈ θ .
iii. (x ~ y)
(0 ~ 1) = {0, 1} ∈ θ .
I = [0]θ = {0, 1}
I1 = [1]θ = {0, 1}
I2 = [2]θ = {2}
I3 = [3]θ = {3}
I = [0]θ = {0, 1}
I1 = [1]θ = {0, 1}
I2 = [2]θ = {2}
I3 = [3]θ = {3}