Problem: Determine whether the given map is an isomorphism of the first binary structure with the second.

where

--------------

Well, is simply , so does that fact make this problem trivial? Since , it appears that doesn't do anything at all, it just returns what you put into it. Since both binary structures are the same, and the mapping function just spits out what you put into it, is this trivially isomorphic?