What Is An Ideal In Abstract Algebra