Abstract. In this paper, the idea of ideals of BE-algebras is introduced
and several descriptions of ideals are given in terms of upper sets
A(u, v) = {z ∈ X |u ∗ (v ∗ z) = 0} for transitive and for self distributive BE-algebras (X ; ∗, 1) of type (2, 0).