A subset I of a ring R where x - y is in I for every x,y in I and either rx is in I for every r in R and x in I or xr is in I for every r in R and x in I; in the first case I is called a left ideal, and in the second a right ideal; an ideal is two-sided if it is both a left and a right ideal.