A note on S-closed spaces (Q5906253)

A subset Y of a topological space X is said to be semi-open (regular closed) if \(cl_ X(int_ XY)\supset Y\) \((cl_ X(int_ XY)=Y)\). The complement of a semi-open set is called semi-closed, and the smallest semi-closed set containing a set Y is called the semi-closure of Y. A space X is called S-closed (s-closed) if every semi-open cover of X contains a finite subfamily the closures (semi-closures) of whose members cover X. By a semi-\(T_ 2\) space is meant a topological space in which any pair of distinct points can be separated by disjoint semi-open sets. The authors prove that every infinite topological space can be represented as a closed subspace of a space which is not s-closed, and they use this result to prove that there exist semi-\(T_ 2\) S-closed spaces which are not s-closed.