ShMaxGПредельная точка

- если в каждой окрестности есть точка множества, отличная от самой исходной

. Значит, в случае хаусдорфовых пространств в любой окрестности будет бесконечного много этих самых точек множества.
Прикосновения - то же самое, но без требования отличности от

. Т.е. изолированная точка множества

будет точкой прикосновения, но не будет предельной.
Замыкание можно определить как множество точек прикосновения, это будет то же самое, что

, т.е. само множество и его точки предельные.
У Хаусдорфа в "Теории множеств" и Александрова "Введение в теорию множеств и общую топологию" полнее написано.