It would seem so. If denotes the set of all ideals of the semigroup then we have that, for any , (similarly for the right hand side) and the same idea will work for intersections and since evidently if you throw in I would agree that is a topology. A not very well behaved one though it seems.