A dg-ideal is an alternative name for an ideal in a dg-algebra , i.e. a --dg-subbimodule of . Of course, one can also talk about one-sided ideals.
This means that is a graded sub-vector space that is closed under product by element in from either side, and closed under acting with the differential.