I strengthened a theorem

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