#The product of an element of the ideal and an element of the initial ring is an element of the ideal
#The product of an element of the ideal and an element of the initial ring is an element of the ideal
+
+
In common usage, an '''ideal''' is that which sought after as being the answer that is desired whether it be an object, a frame of mind, a condition, etc.