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.
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.