Definition:Left Ideal