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.

Leave a Reply

Your email address will not be published. Required fields are marked *