No CrossRef data available.
Published online by Cambridge University Press: 24 October 2008
A fully admissible binary relation (3) is an operator  , other than the equality operator
, other than the equality operator  and universal operator
 and universal operator  , which assigns to each space |S, τ|, a reflexive, symmetric, binary relation
, which assigns to each space |S, τ|, a reflexive, symmetric, binary relation  , and which is such that for any continuous mapping
, and which is such that for any continuous mapping  implies
 implies  . With each such relation
. With each such relation  , we associate a ‘separation axiom’
, we associate a ‘separation axiom’  , as well as ‘
, as well as ‘ -regularity’ and ‘
-regularity’ and ‘ -connectedness’, where
-connectedness’, where  ≡
 ≡  -regularity + T0, and
-regularity + T0, and  -regularity +
-regularity +  -connectedness ≡ indiscreteness.
-connectedness ≡ indiscreteness.