In a topological spaceX, a T2-distinct pointx means that for anyy∈X x≠y, there exist disjoint open neighbourhoods ofx andy. Similarly, T0-distinct points and T1distinct points are defined. In a Ti-distinct point-setA, we assume that eachx∈A is a Ti-distinct point (i=0, 1, 2). In the present paper some implications of these notions which ‘localize’ the Ti-separation axioms (i=0, 1, 2) requirement, are studied. Suitable variants of regularity and normality in terms of T2-distinct points are shown hold in a paracompact space (without the assumption of any separation axioms). Later T0-distinct points are used to give two characterizations of the RD-axiom.1 In the end, some simple results are presented including a condition under which an almost compact set is closed and a result regarding two continuous functions from a topological space into a Hausdorff space is sharpened. A result which relates a limit pointv to an ω-limit point is stated.
A space X is of countable type (resp. subcountable type) if every compact subspace F of X is contained in a compact subspace K that is of countable character (resp. countable pseudocharacter) in X. In this paper, we mainly show that: (1) For a functionally Hausdorff space X, the free paratopological group FP(X)and the free abelian paratopological group AP(X) are of countable type if and only if X is discrete; (2) For a functionally Hausdorff space X, if the free abelian paratopological group AP(X) is of subcountable type then X has countable pseudocharacter. Moreover, we also show that, for an arbitrary Hausdorff μ-space X, if AP2(X) or FP2(X) is locally compact, then X is a topological sum of a compact space and a discrete space.