Theorem

Let be any set

Then