Template:Set-theoretic complement is

A subset of a topological space has this property in the space iff its set-theoretic complement in the whole space is a/an: