where pe X is a specific point.
Give a set notation description of the topology J and verify that J
is a topology on X.