@Martin Sleziak, in case you are not aware, there is a pending suggested synonym 'gn.general-topology' <-- 'point-set-topology'.