Error in my theorem – found

I found the exact error noticed in Error in my theorem post.

The error was that I claimed that infimum of a greater set is greater (while in reality it’s lesser).

I will delete the erroneous theorem from my book soon.