Moore closuresMoore closures, their relation to collections of Moore-closed sets and a characterization for closure under finitary operations.
One can then discuss why Moore-closed sets form a complete lattice and a lot more, if one feels so inclined.
This is certainly something students will encounter over, and over, and over again in different guises. Moore-closures are certainly among the most useful trivialities I know.