because homeomorphisms can be described entirely in terms of derived sets, derived sets have been used as the primitive notion in topology. a set of points "x" can be equipped with an operator "s" ↦ "s" mapping subsets of "x" to subsets of "x", such that for any set "s" and any point "a":