Law of isomorphism