I strengthened a theorem: It is easily provable that every atomistic poset is strongly separable (see my book).
It is a trivial result but I had a weaker theorem in my book before today.
Math Research of Victor Porton
Algebraic General Topology, Axiomatic Theory of Formulas, (generalized) limit of arbitrary function
I strengthened a theorem: It is easily provable that every atomistic poset is strongly separable (see my book).
It is a trivial result but I had a weaker theorem in my book before today.