I'm really embarrassed that I'm asking this question, please be kind.

Is the set of all ideals of a semigroup a topology if we consider the empty set an ideal? It seems to be an Alexandroff topology (I know this name thanks to Deveno), but since I haven't seen this statement in any book, I'm afraid I'm making an embarrassing mistake.