An ideal generated by a single element, that is, the smallest ideal containing that element. In a commutative ring R, the principal ideal generated by a is {ar : r ∊R} and is usually denoted (a) or 〈a〉. In ℤ every ideal is principal, but in ℚ[x,y] the ideal generated by x and y is not principal.