1. ## Bimonotonic function

Hi,
Does there exist a non-identity surjective bimonotonic function on the power set of the natura numbers?

That is, A is strictly included in B if and only if f(A) is strictly included in f(B)

I showed that this is not true from p(N)-{N} to p(N).