where i is the union of all the ideals in t