A Study of Different Types of Ideals and The Propositions That Connect Them in PS-Algebra
