A Formula for Derived Sets in General Topology - Eugene Zhang (2023)