Same question, but now A,B, etc. stand for arbitrary sets. If you can find an isomorphism without assuming anything about these sets, then this isomorphism is universal. If you can find specific example of sets A,B, etc. for which no isomorphism is possible, then you have proved these sets are not isomorphic in general. 1. AA and AA. 2. AA and AA