principal ideal

An ideal I in an algebraic object R (which could be a ring, algebra, semigroup or lattice) that is generated by a given single element a ∈ R; the smallest ideal that contains a.