New important theorem

I have proved that \mathscr{S} is an order isomorphism from the poset of unfixed filters to the poset of filters on the poset of small sets.

This reveals the importance of the poset of filters on the poset of small sets.

See the new version of my book.

Leave a Reply